Theorem zero_pow_eq

Modification history