Theorem IsSemisimpleRing.ideal_eq_span_idempotent

Modification history