[Merged by Bors] - feat: add Set.preimage_image_univ and associated GaloisConnection result
#38177
| Job | Run time |
|---|---|
| 41s | |
| 41s |
Set.preimage_image_univ and associated GaloisConnection result
#38177
| Job | Run time |
|---|---|
| 41s | |
| 41s |