Theorem CategoryTheory.nerve_obj_eq_composableArrows

Modification history