Theorem CategoryTheory.Limits.Trident.app_zero

Modification history