Theorem Nucleus.coe_toInfHom

Modification history

2025-01-25 06:17
Mathlib/Order/Nucleus.lean
feat(Order/Nucleus): Nucleus (#19440)
Added Nucleus.coe_toInfHomView on Github →