Theorem CategoryTheory.Limits.Trident.condition

Modification history