Theorem CategoryTheory.obj_zero_map_μ_app

Modification history