Theorem CategoryTheory.Arrow.w_mk_right

Modification history