Item:Q6119: Difference between revisions

Revision as of 08:16, 31 March 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,371 edits ‎Created claim: part of (P7): section and retraction (Q6118) ← Older edit	Latest revision as of 08:16, 31 March 2023 Fire (talk \| contribs) Bureaucrats, Interface administrators, Administrators 132,371 edits ‎Created claim: defining formula (P333): g\text{ is left inverse of }f \iff g \circ f= \operatorname{id}
	Property / defining formula
		$g{\text{ is left inverse of }}f\iff g\circ f=\operatorname {id}$ `g\text{ is left inverse of }f \iff g \circ f= \operatorname{id}`
	Property / defining formula: $g{\text{ is left inverse of }}f\iff g\circ f=\operatorname {id}$ / rank
		Normal rank