Mathlib v3 is deprecated. Go to Mathlib v4

Theorem rat.algebra_map_rat_rat

Modification history

2021-12-18 06:26
src/algebra/algebra/basic.lean
chore(algebra/algebra/basic): fix instances names to make doc links work (#10834) …
Deleted rat.algebra_map_rat_ratView on Github →
2021-01-30 22:44
src/algebra/algebra/basic.lean
chore(algebra/algebra/basic): add simp lemma about `algebra_map ℚ` (#5970) …
Added rat.algebra_map_rat_ratView on Github →