Theorem CategoryTheory.Limits.pushout.condition

Modification history