merged
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rISABELLE7793e3161d2b: try proof method "order" in Sledgehammer's proof reconstruction
rISABELLEeb753708e85b: HOL-Library: added modulo/congruence for real numbers - Branches
- Unknown
- Tags
Merged Changes
Merged Changes