Def CategoryTheory.Limits.preservesPullbackSymmetry

Modification history