mathlib

38a0ffe9 - refactor(ring_theory/algebra): algebra should extend has_scalar not module (#1532)

refactor(ring_theory/algebra): algebra should extend has_scalar not module (#1532) * refactor(ring_theory/algebra): algebra should extend has_scalar not module * fix build * fix build * Update algebra.lean * Update module.lean * fx build * fix build * fix again * fix build * fix build