Theorem RootSystem.eq_top_of_mem_invtSubmodule_of_forall_eq_univ

Modification history