Mathlib Changelog
v4
Changelog
About
Github
Theorem
Seminorm.uniformity_eq_of_hasBasis
Modification history
2023-12-01 20:35
Mathlib/Analysis/Seminorm.lean
refactor: review normed group structure on `ContinuousLinearMap` (#8725) …
Added
Seminorm.uniformity_eq_of_hasBasis
View on Github →