Commit 2023-11-03 16:55 baa7aa8c

View on Github →

feat: basic lemmas about nilpotency in rings (#8156)

Estimated changes

added theorem IsNilpotent.map_iff