Theorem contDiff_piLp_apply

Modification history