Theorem CategoryTheory.Limits.Concrete.widePushout_exists_rep

Modification history