Theorem sub_mem_pNilradical_iff_pow_expChar_pow_eq

Modification history