Theorem lineDifferentiableWithinAt_congr_set

Modification history