Theorem CategoryTheory.braiding_tensorUnit_right

Modification history