Theorem Ordinal.mul_le_nmul

Modification history

2024-08-27 20:26

Mathlib/SetTheory/Ordinal/NaturalOps.lean

feat(SetTheory/Ordinal/NaturalOps): fix bad names (#15992) …

Added Ordinal.mul_le_nmul View on Github →