Theorem normalize_coe_units

Modification history