Theorem Module.End.IsSemisimple.of_mem_adjoin_pair

Modification history