2026-03-31 18:15
Mathlib/CategoryTheory/Subobject/Classifier/Defs.lean
chore(CategoryTheory/Classifier): namespace Classifier, rename HasClassifier, move file (#36060) …
Added CategoryTheory.Subobject.Classifier.SubobjectRepresentableBy.iso_inv_left_π