Theorem CategoryTheory.e_assoc

Modification history