Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-22 12:15 f7dac5ea

View on Github →

feat(logic/basic): add auto_param.out and opt_param.out (#13599)

Estimated changes

Modified src/logic/basic.lean

added def auto_param.out

added def opt_param.out