Theorem Ordinal.card_monotone

Modification history

2026-09-30 01:41
Mathlib/SetTheory/Ordinal/Basic.lean
chore: extract lemma from `Cardinal.mul_self` (#44006) …
Added Ordinal.card_monotoneView on Github →