Commit 2021-01-03 14:06 eb6d5f15
View on Github →feat(analysis/normed_space/basic): basic facts about the sphere (#5590) Basic lemmas about the sphere in a normed group or normed space.
feat(analysis/normed_space/basic): basic facts about the sphere (#5590) Basic lemmas about the sphere in a normed group or normed space.