WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Bijection, injection and surjection
Revision #1038 → #2527 ·
back to history
modified
Correspondence with mono/epi/iso
600df9159f56
Field
From #1038
To #2527
mathlib.decl
CategoryTheory.Types.mono_iff_injective
CategoryTheory.mono_iff_injective
provenance
ai
ai-moderated