Theorem CategoryTheory.Classifier.hom_refl

Modification history

2026-03-31 18:15
Mathlib/CategoryTheory/Subobject/Classifier/Defs.lean
chore(CategoryTheory/Classifier): namespace Classifier, rename HasClassifier, move file (#36060) …
Deleted CategoryTheory.Classifier.hom_reflView on Github →
2026-03-06 00:15
Mathlib/CategoryTheory/Topos/Classifier.lean
feat(CategoryTheory/Topos/Classifier): subobject classifiers, isos and equivalences (#35895) …
Added CategoryTheory.Classifier.hom_reflView on Github →