First time here? Check out the FAQ!
answered 2021-09-03 13:41:06 +0100
See .reduced_word() and related functions in documentation.
.reduced_word()