Theorem CategoryTheory.Iso.symm_symm_eq

Modification history

2024-08-17 20:08
Mathlib/CategoryTheory/Iso.lean
chore(*): use `rfl` to prove `symm_symm` (#15923)
Modified CategoryTheory.Iso.symm_symm_eqView on Github →
2022-12-01 15:35
Mathlib/CategoryTheory/Iso.lean
port: several files from category_theory (#749) …
Added CategoryTheory.Iso.symm_symm_eqView on Github →