isometry): add simps config (#9757)

Commit

4 years ago

feat(topology/metric_space/isometry): add simps config (#9757) Also make `isometric.complete_space` take `complete_space β` as an instance argument.

Author

urkud

Parents