Theorem CategoryTheory.obj_μ_app

Modification history