Theorem CategoryTheory.Limits.Cofork.π_ofπ

Modification history