Skip to content
  • William DeMeo's avatar
    major changes · 0f6ea853
    William DeMeo authored
    + changing notation for equivalence classes from `⟦ a ⟧ {R}`  to  `a ⁄ R`
    0f6ea853