-
William DeMeo authored+ changing notation for equivalence classes from `⟦ a ⟧ {R}` to `a ⁄ R`William DeMeo authored+ changing notation for equivalence classes from `⟦ a ⟧ {R}` to `a ⁄ R`
Loading
+ changing notation for equivalence classes from `⟦ a ⟧ {R}` to `a ⁄ R`
+ changing notation for equivalence classes from `⟦ a ⟧ {R}` to `a ⁄ R`