Theorem CategoryTheory.obj_μ_zero_app

Modification history