Mathlib v3 is deprecated. Go to Mathlib v4

Theorem rbmap.min_is_minimal_of_total

Modification history