-
Ralf Jung authored
generalize into_and_sep_affine so that generalizing just the conjunction instance for IntoExist is sufficient
f531cc9d
generalize into_and_sep_affine so that generalizing just the conjunction instance for IntoExist is sufficient