Commit 2021-12-23 19:11 3362b1e2
View on Github →refactor(analysis/seminorm): Weaken typeclasses (#10999)
This weakens normed_field
to the appropriate normed_whatever
.
refactor(analysis/seminorm): Weaken typeclasses (#10999)
This weakens normed_field
to the appropriate normed_whatever
.