Theorem CategoryTheory.Equivalence.symm_counit

Modification history

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