Item:Q6119: Difference between revisions
Created claim: subclass of (P1): morphism (Q756) |
Created claim: defining formula (P333): g\text{ is left inverse of }f \iff g \circ f= \operatorname{id} |
||
| (One intermediate revision by the same user not shown) | |||
| Property / part of | |||
| Property / part of: section and retraction / rank | |||
Normal rank | |||
| Property / defining formula | |||
g\text{ is left inverse of }f \iff g \circ f= \operatorname{id} | |||
| Property / defining formula: / rank | |||
Normal rank | |||
