fixes for mult_less_iff1, mult_le_cancel_iff1, mult_le_cancel_iff2
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFPe432645ba52d: patched some brittle apply-chains
- Branches
- Unknown
- Tags
fixes for mult_less_iff1, mult_le_cancel_iff1, mult_le_cancel_iff2
Description fixes for mult_less_iff1, mult_le_cancel_iff1, mult_le_cancel_iff2
Details
Event Timelinepaulson <lp15@cam.ac.uk> committed rAFP3127716903da: fixes for mult_less_iff1, mult_le_cancel_iff1, mult_le_cancel_iff2.Nov 11 2020, 5:47 PM2020-11-11 17:47:00 (UTC+1)
Changes (25)
rAFP3127716903da |