Theorem normalize_associated

Modification history