Theorem associated_eq_eq

Modification history