Theorem Associates.mk_eq_mk_iff_associated

Modification history