mathlib3
b5b4aa3e - Update algebra_map.lean

Login via GitHub
Home
Pricing
FAQ
Install

Login via GitHub

Commit

3 years ago

Update algebra_map.lean

References

aeval_eq_eval_map

Author

vihdzp

vihdzp

Parents

FAQ Terms Privacy Refunds Impressum

Loading