Theorem CategoryTheory.Over.whiskerRight_left_fst

Modification history