-
Dan Frumin authored
Following the advice of Amin Timany generalize all the compatibility lemmas at the same time by declaring a mask E in a Section.
eddf490d
Following the advice of Amin Timany generalize all the compatibility lemmas at the same time by declaring a mask E in a Section.