Def HNNExtension.NormalWord.ReducedWord.empty

Modification history