Theorem pNilradical_eq_bot

Modification history