Theorem harmonic_zero

Modification history