Mathlib v3 is deprecated. Go to Mathlib v4

Theorem surreal.dyadic_map_apply_pow

Modification history

2022-01-24 05:54
src/set_theory/surreal/dyadic.lean
feat(set_theory/surreal/dyadic): define add_monoid_hom structure on dyadic map (#11052) …
Added surreal.dyadic_map_apply_powView on Github →