prod): add `set.eval_image_pi_subset` (#13613)

Commit

3 years ago

feat(data/set/prod): add `set.eval_image_pi_subset` (#13613) Also reorder lemmas like `fst_image_prod_subset` so that simpler lemmas go first.

Author

urkud

Parents