Theorem CategoryTheory.Over.id_left

Modification history