Theorem pi_norm_const'

Modification history