Theorem lp.eq_zero'

Modification history