Theorem innerSL_flip_apply
Modification history
2023-03-19 08:24
src/analysis/inner_product_space/basic.lean
chore(analysis/inner_product_space/basic): explicit `π` argument for `innerββ` and `innerSL` (#18613) β¦
Modified innerSL_flip_applyView on Github β