added a few lemmas to Stone_Kleene_Relation_Algebras
Description
Description
Details
Details
- Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz> Authored on - Parents
- rAFP0e0a6e473852: Substitution in LTL DNF formulas
- Branches
- Unknown
- Tags
added a few lemmas to Stone_Kleene_Relation_Algebras Tags None Subscribers None |