fixed proof following Isabelle/66cae055ac7b
Description
Description
Details
Details
- Provenance
desharna Authored on - Parents
- rAFP49df37cde100: fixed proofs and removed duplicates following Isabelle/e65a50f6c2de
- Branches
- Unknown
- Tags
fixed proof following Isabelle/66cae055ac7b Tags None Subscribers None |