Theorem Ordinal.opow_natCast

Modification history

2024-08-27 19:30

Mathlib/SetTheory/Ordinal/Exponential.lean

chore(SetTheory/Ordinal/Exponential): use `pow` instead of `opow` (#16180) …

Added Ordinal.opow_natCast View on Github →