Theorem simplePowZero_x'

Modification history