Theorem FiniteDimensional.proper

Modification history

2023-05-20 01:06

Mathlib/Analysis/NormedSpace/FiniteDimension.lean

feat: port Analysis.NormedSpace.FiniteDimension (#4123)

Added FiniteDimensional.proper View on Github →