Commit 2024-08-14 10:13 ca93110a

View on Github →

chore: cleanup in List/Infix (#15792)

Estimated changes

modified theorem List.prefix_take_le_iff