Skip to content

Remove the nilp_rev lemma #12

Remove the nilp_rev lemma

Remove the nilp_rev lemma #12