Theorem PiLp.equiv_apply

Modification history