HomeIsabelle/Phabricator

Adjustments for the simplified version of real_le_lsqrt

Description

Adjustments for the simplified version of real_le_lsqrt

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFPfccdd28b5d84: adapted to Isabelle/84a7a0029c82
Branches
Unknown
Tags
Unknown