Clarify Eq documentation #18713
Documentation only patch that clarifies Eq properties as illustrated in #18713 (closed) (tl;dr: replaces «Substitutivity» with «Extensionality»).
Documentation only patch that clarifies Eq properties as illustrated in #18713 (closed) (tl;dr: replaces «Substitutivity» with «Extensionality»).