Commit 2025-12-15 18:48 0e1aacf8

View on Github →

feat: SetRel.(pre)image of iUnion and sUnion (#32847)

Estimated changes

added theorem SetRel.image_iUnion
added theorem SetRel.image_sUnion
added theorem SetRel.preimage_iUnion
added theorem SetRel.preimage_sUnion