Theorem ENat.addLECancellable_coe

Modification history

2025-02-03 11:50
Mathlib/Data/ENat/Basic.lean
feat(Algebra/Order): `{WithTop,ENat}.addLECancellable_coe` (#21358)
Added ENat.addLECancellable_coeView on Github →