Theorem CategoryTheory.Over.comp_left

Modification history