Theorem CategoryTheory.right_unitality_app

Modification history