Theorem CategoryTheory.Limits.Cotrident.π_eq_app_one

Modification history