Revision #1934 → #2526 · back to history
8b9d1f5f7b89| Field | From #1934 | To #2526 |
|---|---|---|
| mathlib.decl | Int.instDenumerable | Denumerable.int |
| provenance | ai | ai-moderated |
134cbc411bf1| Field | From #1934 | To #2526 |
|---|---|---|
| mathlib.decl | CategoryTheory.Types.isIso_iff_bijective | CategoryTheory.isIso_iff_bijective |
| provenance | ai | ai-moderated |