-
dimitris authored
inert sets do not tolerate more than a single constraint per family head we have to allow family interactions /with the inerts/ (not with top-level) when the context says simplEqsOnly.
4e0f1a02
inert sets do not tolerate more than a single constraint per family head we have to allow family interactions /with the inerts/ (not with top-level) when the context says simplEqsOnly.