Theorem Ordinal.div_opow_log_pos

Modification history

2023-11-09 04:02
Mathlib/SetTheory/Ordinal/Exponential.lean
style(SetTheory): remove useless parentheses (#8279) …
Modified Ordinal.div_opow_log_posView on Github →
2023-05-07 05:02
Mathlib/SetTheory/Ordinal/Exponential.lean
chore: bye-bye, solo `by`s! (#3825) …
Modified Ordinal.div_opow_log_posView on Github →
2023-03-27 15:24
Mathlib/SetTheory/Ordinal/Exponential.lean
feat: forward-port #15990 (#3120)
Added Ordinal.div_opow_log_posView on Github →