Commit 2025-02-03 13:31 0770956a

View on Github →

feat(Order/Nucleus): coe_mk simp lemma (#21346) Add Nucleus.coe_mk.

Estimated changes

added theorem Nucleus.coe_mk