Numeric.Decidable.Nilpotent

class DecidableNilpotent r