Theorem CategoryTheory.Over.whiskerLeft_left_fst

Modification history