at_top_bot): golf three proofs (#3684)

Commit

5 years ago

chore(order/filter/at_top_bot): golf three proofs (#3684) Also add `is_countably_generated_at_top`.

Author

urkud

Parents