Commit 2019-07-31 08:37 badeb48b

View on Github →

feat(data/equiv/algebra): change mul_equiv field to map_mul (#1287)

  • feat(data/equiv/algebra): bundle field for mul_equiv
  • adding docs
  • Update src/data/equiv/algebra.lean
  • Update src/data/equiv/algebra.lean Co-Authored-By: sgouezel sebastien.gouezel@univ-rennes1.fr

Estimated changes