Def CategoryTheory.Limits.SingleObj.Types.sections.equivFixedPoints

Modification history