Item:Q6117: Difference between revisions

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