Theorem ContinuousOn.vsub

Modification history

2025-09-15 09:41
Mathlib/Analysis/Normed/Group/AddTorsor.lean
feat: topological affine spaces (#28493) …
Modified ContinuousOn.vsubView on Github →
2023-06-29 04:23
Mathlib/Analysis/Normed/Group/AddTorsor.lean
feat: add `ContinuousOn.vsub` (#5569) …
Added ContinuousOn.vsubView on Github →