prefer _ mod 2 over of_bool (odd _)
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE541e68d1a964: less aggressive default simp rules
- Branches
- Unknown
- Tags
prefer _ mod 2 over of_bool (odd _) Tags None Subscribers None |