Theorem CategoryTheory.Limits.Wedge.mk_ι

Modification history