HomeIsabelle/Phabricator

simplified complexity proofs. Increased precision of T_del_min_bound. (though…

Description

simplified complexity proofs. Increased precision of T_del_min_bound. (though T_del_min might be be missing a +1)

Details

Provenance
peter_lammichAuthored on
Parents
rISABELLEaa86651805e0: added missing +1 to T_insert (for function call)
Branches
Unknown
Tags
Unknown