Theorem CategoryTheory.Limits.Trident.ι_eq_app_zero

Modification history