Def AffineIsometryEquiv.constVSub

Modification history

2023-06-07 01:25

Mathlib/Analysis/NormedSpace/AffineIsometry.lean

chore: tidy various files (#4757)

Added AffineIsometryEquiv.constVSub View on Github →