Theorem CategoryTheory.Over.braiding_hom_left

Modification history