mathlib
10aeb392 - style(analysis/inner_product_space/l2_space): small style improvement (#15698)

Commit
3 years ago
style(analysis/inner_product_space/l2_space): small style improvement (#15698) Spotted by @hrmacbeth
Author
Parents
Loading