Theorem CategoryTheory.IsPushout.unop

Modification history