Fewer parentheses around turnstile + remove unused lemmas.
Description
Description
Details
Details
- Provenance
Asta Halkjær From <andro.from@gmail.com> Authored on - Parents
- rAFP7d3ad94c215c: Simplify proof of truth lemma.
- Branches
- Unknown
- Tags
Fewer parentheses around turnstile + remove unused lemmas. Tags None Subscribers None |