mathlib3
3362b1e2 - refactor(analysis/seminorm): Weaken typeclasses (#10999)

Commit

4 years ago

refactor(analysis/seminorm): Weaken typeclasses (#10999) This weakens `normed_field` to the appropriate `normed_whatever`.

Author

YaelDillies

Parents