Theorem SmoothFiberwiseLinear.locality_aux₂

Modification history