Theorem normalize_eq_normalize_iff

Modification history