Theorem CategoryTheory.Limits.hasPushout_symmetry

Modification history