Theorem CategoryTheory.Limits.Cotrident.π_ofπ

Modification history