Home
Random
Log in
Settings
About Azupedia
Disclaimers
Azupedia
Search
(Q6119)
Language
Watch
Revision as of 08:16, 31 March 2023 by
Fire
(
talk
|
contribs
)
(
Created claim:
defining formula
(P333)
: g\text{ is left inverse of }f \iff g \circ f= \operatorname{id})
(
diff
)
← Older revision
| Latest revision (diff) | Newer revision → (diff)
Statements
subclass of
morphism
0 references
part of
section and retraction
0 references
defining formula
g
is left inverse of
f
⟺
g
∘
f
=
id
{\displaystyle g{\text{ is left inverse of }}f\iff g\circ f=\operatorname {id} }
0 references
Sitelinks
⧼wikibase-sitelinks-mywikigroup⧽
(0 entries)
edit
