Theorem PiLp.dist_apply_le

Modification history