Closed PappasBrent closed 1 year ago
Rename the method CoveringSubstitution to HighestContainingSubstitution to more accurately reflect the method's expected behavior.
Rename the method CoveringSubstitution to HighestContainingSubstitution to more accurately reflect the method's expected behavior.