Mathlib v3 is deprecated. Go to Mathlib v4

Def foo4

Modification history

2022-11-21 19:57

test/print_sorry.lean

feat(tactic/print_sorry): add `#print_sorry_in` command (#16911) …

Added foo4 View on Github →