Commit 2024-09-18 17:46 51a9d757

View on Github →

chore(SuccPred/Basic): minor golf (#16905)

Estimated changes

modified theorem Order.le_succ_iterate