Theorem CategoryTheory.CategoryOfElements.comp_val

Modification history