Theorem PiLp.equiv_neg

Modification history