A slightly stronger lemma allowing slightly simpler proofs
Description
Description
Details
Details
- Provenance
paulson <lp15@cam.ac.uk> Authored on - Parents
- rAFP001657f3e9b5: adjust for new tags in Isabelle2021-1-RC4
- Branches
- Unknown
- Tags
A slightly stronger lemma allowing slightly simpler proofs Tags None Subscribers None |