Theorem normalize_eq_normalize

Modification history