Theorem normalize_zero

Modification history