Theorem contDiffOn_piLp_apply

Modification history