Theorem Associates.quotient_mk_eq_mk

Modification history