Forward-port to Lean/mathlib v4.31.0#830

SnO2WMaN merged 1 commit into

FormalizedFormalLogic:masterFormalizedFormalLogic/Foundation:masterfrom

gotrevor:upstream-v4.31gotrevor/Foundation:upstream-v4.31Copy head branch name to clipboard