Theorem CategoryTheory.IsCoreflexivePair.common_retraction

Modification history