Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_semisimple_iff_top_eq_Sup_simples

Modification history