refactor(library/algebra/ring): make dvd a definition
refactor(library/data/int): make int instance of integral domain
refactor(library/logic/axioms): rename theorems
refactor(library): clean up headers and markdown files