Commit 2025-10-11 22:15 69c9f3a1

View on Github →

feat(Data/List/Nodup): get is bijective iff count = 1 (#30223)

Estimated changes

added theorem List.get_bijective_iff