Theorem Trivialization.mdifferentiable

Modification history