Theorem CategoryTheory.left_unitality_app

Modification history