Theorem Nucleus.coe_mk

Modification history

2025-02-03 13:31
Mathlib/Order/Nucleus.lean
feat(Order/Nucleus): coe_mk simp lemma (#21346) …
Added Nucleus.coe_mkView on Github →