Theorem CategoryTheory.eval_app

Modification history