Theorem CategoryTheory.liftedLimitMapsToOriginal_hom_π

Modification history

2025-09-27 10:51
Mathlib/CategoryTheory/Limits/Creates.lean
feat(AlgebraicGeometry): inverse limits and schemes of finite type (#25941) …
Added CategoryTheory.liftedLimitMapsToOriginal_hom_πView on Github →