Theorem nilradical_eq_infₛ

Modification history