Commit 2025-04-14 22:38 c0b7567c

View on Github →

feat(Data/Part): Part.mem_right_unique (#24006) Add the lemmas Part.mem_right_unique and Part.Mem.right_unique.

Estimated changes

added theorem Part.Mem.right_unique
added theorem Part.mem_right_unique