Mathlib v3 is deprecated. Go to Mathlib v4

Theorem cast_fpow

Modification history

2020-03-22 08:44
src/algebra/field_power.lean
feat(ring_theory/algebra) : generalize `rat.algebra_rat` to `division_ring` (#2208) …
Deleted cast_fpowView on Github →
2019-12-07 17:48
src/algebra/field_power.lean
feat(algebra/field_power): fpow is a strict mono (#1778) …
Added cast_fpowView on Github →