Commit 2019-02-28 20:55 05449a06
View on Github →refactor(ring_theory/localization): rename of to mk, and define of (#765)
- refactor(ring_theory/localization): rename of to mk, and define of
- Make submonoid implicit variable of 'of'
refactor(ring_theory/localization): rename of to mk, and define of (#765)