Theorem CategoryTheory.Over.forgetAdjStar_unit_app_left

Modification history

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