Theorem CategoryTheory.Over.lift_left

Modification history