Mathlib v3 is deprecated. Go to Mathlib v4

Theorem ordinal.add_log_le_log_mul

Modification history