Def CategoryTheory.Limits.preservesPushoutSymmetry

Modification history