Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tuple.comp_sort_eq_comp_iff_monotone

Modification history