Theorem CategoryTheory.Iso.nonempty_iso_refl

Modification history

2023-02-15 17:29
Mathlib/CategoryTheory/Iso.lean
fix: add two missing #aligns (#2303)
Modified CategoryTheory.Iso.nonempty_iso_reflView on Github →
2023-02-11 10:25
Mathlib/CategoryTheory/Iso.lean
feat: port CategoryTheory.Opposites (#2195) …
Added CategoryTheory.Iso.nonempty_iso_reflView on Github →