Commit 2023-01-09 07:52 3fc9a970

View on Github →

chore: rename getI_zero_eq_head! to getI_zero_eq_headI (#1415) it doesn't really make sense for List.getI 0 = List.head! when the latter panics.

Estimated changes

deleted theorem List.getI_zero_eq_head!