Theorem Module.End.apply_eq_of_mem_of_comm_of_isFinitelySemisimple_of_isNil

Modification history