mathlib
a0ac76c6 - Pull back `with_seminorms` along a linear inducing

Commit

3 years ago

Pull back `with_seminorms` along a linear inducing

References

AD_seminorms_infi

Author

ADedecker

ADedecker

Parents

Loading