add_torsor_bases): barycentric coordinates are continuous (#9515)

Commit

4 years ago

feat(analysis/normed_space/add_torsor_bases): barycentric coordinates are continuous (#9515)

Author

ocfnash

Parents