WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Pigeonhole principle
Revision #1474 → #2626 ·
back to history
modified
Dedekind finite phrasing
96b975c79df6
Field
From #1474
To #2626
mathlib.decl
Fintype.injective_iff_surjective_of_equiv
Finite.injective_iff_surjective_of_equiv
provenance
ai
ai-moderated