Def ENat.toNatHom

Modification history

2024-06-23 11:05
Mathlib/Data/ENat/Basic.lean
chore(Data/ENat): unbundle `ENat.toNat` (#13936) …
Added ENat.toNatHomView on Github →