Def AffineIsometryEquiv.constVAdd

Modification history

2023-06-07 01:25

Mathlib/Analysis/NormedSpace/AffineIsometry.lean

chore: tidy various files (#4757)

Added AffineIsometryEquiv.constVAdd View on Github →