Theorem CategoryTheory.Over.over_right

Modification history