Theorem CategoryTheory.braiding_leftUnitor

Modification history