Revision #2154 → #2650 · back to history
0ccd08de5ebf| Field | From #2154 | To #2650 |
|---|---|---|
| mathlib.decl | CategoryTheory.Types.epi_iff_surjective | CategoryTheory.epi_iff_surjective |
| provenance | ai | ai-moderated |
73152939e59e| Field | From #2154 | To #2650 |
|---|---|---|
| mathlib.decl | Fintype.injective_iff_surjective_of_equiv | Finite.injective_iff_surjective_of_equiv |
| provenance | ai | ai-moderated |