Theorem SmoothFiberwiseLinear.locality_aux₁

Modification history