Theorem CategoryTheory.CategoryOfElements.map_π

Modification history