Theorem CategoryTheory.Subobject.top_eq_id

Modification history