Theorem CategoryTheory.Over.forgetAdjStar_counit_app

Modification history

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