Commit 2023-06-29 23:57 bd2fff86

View on Github →

fix precedence of Nat.iterate (#5589)

Estimated changes

modified theorem iterate_pred_toZ
modified theorem iterate_succ_toZ
modified theorem toZ_iterate_pred
modified theorem toZ_iterate_pred_ge
modified theorem toZ_iterate_succ
modified theorem toZ_iterate_succ_le