Theorem Part.Mem.right_unique

Modification history

2025-04-14 22:38
Mathlib/Data/Part.lean
feat(Data/Part): Part.mem_right_unique (#24006) …
Added Part.Mem.right_uniqueView on Github →