Mathlib v3 is deprecated. Go to Mathlib v4

Theorem 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) …

Added algebra_map_rat_rat View on Github →