mathlib3
7ddaf104 - chore(algebra/algebra): algebra_map_int_eq (#11474)

Commit

4 years ago

chore(algebra/algebra): algebra_map_int_eq (#11474) from flt-regular Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents