Theorem CategoryTheory.Limits.Cowedge.condition

Modification history