Def auto.classical_normalize_lemma_names

Modification history