Theorem CategoryTheory.associativity_app

Modification history