Mathlib v3 is deprecated. Go to Mathlib v4

Theorem rbnode.balance1_node_rb

Modification history