Commit 2022-04-22 06:47 394dec32
View on Github →feat(order/filter/small_sets): define the filter of small sets (#13467)
- Main author is @PatrickMassot
- From the sphere eversion project
- Required for convolutions Co-authored by: Patrick Massot patrick.massot@u-psud.fr