Theorem CategoryTheory.ObjectProperty.map_top

Modification history

2026-06-18 11:17
Mathlib/CategoryTheory/EssentialImage.lean
feat(AlgebraicGeometry): points of the small étale site (#35136) …
Added CategoryTheory.ObjectProperty.map_topView on Github →