Theorem PerfectRing.pNilradical_eq_bot

Modification history