Theorem CategoryTheory.obj_μ_inv_app

Modification history