subset_properties): filter lemmas, prereqs for #8611 (#9419)

Commit

4 years ago

feat(order/filter/{basic, cofinite}, topology/subset_properties): filter lemmas, prereqs for #8611 (#9419)

Author

hrmacbeth

Parents