Theorem IsNilpotent.exp_eq_truncated

Modification history