Theorem IsPRadical.injective_comp_of_pNilradical_eq_bot

Modification history