Commit 2022-04-15 11:12 ebc8b441
View on Github →feat(analysis/normed_space/basic): pi and prod are normed_algebras (#13442)
Note that over an empty index type, pi is not a normed_algebra since it is trivial as a ring.
feat(analysis/normed_space/basic): pi and prod are normed_algebras (#13442)
Note that over an empty index type, pi is not a normed_algebra since it is trivial as a ring.