Theorem ENat.coe_toNatHom

Modification history

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