Theorem CategoryTheory.IsReflexivePair.common_section

Modification history