Commit 2017-11-10 11:32 afddab63

chore(algebra/module): hide ring parameters, vector_space is no a proper class, remove dual, change variables to implicits the ring type is often unnecessary it can be computed from the module instance. Also a lot of parameters to lemmas should be implicits as they can be computed from assumptions or the expteced type.. @kckennylau: I removed dual as it does not make sense to take about all possible module structures possible on the function space linear_map α β α. I guess dual should be just linear_map α β α.