Theorem PiLp.equiv_smul

Modification history