No results found for extending equally

Did you mean extensional?