mathlib
56e4f0d5 - feat(analysis/seminorm): `restrict_scalars` for seminorms (#16401)

Commit

3 years ago

feat(analysis/seminorm): `restrict_scalars` for seminorms (#16401)

Author

ADedecker

ADedecker

Parents

Loading