Theorem CategoryTheory.Over.whiskerRight_left

Modification history