Theorem contDiffAt_piLp_apply

Modification history