Commit 2023-11-27 17:05 27d3a24e

View on Github →

feat: Add not_isNilpotent_one. (#8648)

Estimated changes

added theorem not_isNilpotent_one