bases): generalize `has_basis.restrict` (#3645)

Commit

5 years ago

chore(order/filter/bases): generalize `has_basis.restrict` (#3645) The old lemma is renamed to `filter.has_basis.restrict_subset`

Author

urkud

Parents