Theorem lineDerivWithin_congr'

Modification history