Theorem ENat.epow_pos

Modification history

2026-05-27 17:34
Mathlib/Data/ENat/Pow.lean
chore: deprecate duplicate theorems on `ENat` (#39854) …
Added ENat.epow_posView on Github →