Theorem CategoryTheory.Equivalence.symm_unit

Modification history

2026-02-11 08:51
Mathlib/CategoryTheory/Equivalence.lean
feat(AlgebraicGeometry): Presentation.isQuasicoherent (#34282) …
Added CategoryTheory.Equivalence.symm_unitView on Github →