Skip to content

rename compute_* lemmas to *_beta* lemmas #1962

rename compute_* lemmas to *_beta* lemmas

rename compute_* lemmas to *_beta* lemmas #1962