Theorem associated_normalize

Modification history