Theorem CategoryTheory.Over.toUnit_left

Modification history