Theorem CategoryTheory.Under.comp_right

Modification history