Commit 2024-04-24 16:47 d0ecb3c8

View on Github →

feat(List/Basic): add get_eq_get? (#12304) Should it be get_eq_get?, get_eq_get?_get, or get_eq_get_get??

Estimated changes

added theorem List.get_eq_get?