Theorem CategoryTheory.Subobject.infₛ_le

Modification history