Theorem ContDiffOn.restrict_scalars

Modification history