Def CategoryTheory.Equalizer.Presieve.Arrows.FirstObj
Modification history
2024-05-27 10:06
Mathlib/CategoryTheory/Sites/EqualizerSheafCondition.lean
style: change the notation for `CategoryTheory.Limits.piObj` from `∏ f` to `∏ᶜ f` (#13269) …
Modified CategoryTheory.Equalizer.Presieve.Arrows.FirstObjView on Github →