Theorem ENat.toNatHom_apply

Modification history

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