Theorem CategoryTheory.Limits.hasEqualizer_of_common_retraction

Modification history