Theorem CategoryTheory.Limits.Cofork.app_one_eq_π

Modification history