Theorem CategoryTheory.Limits.Wedge.condition

Modification history