Commit 2022-11-04 20:57 415530d4
View on Github →feat: update mathlib mod-tac-stx 2022-11-01 (#536) This adds all the changes to tactic syntax that have happened in the period 2022-02-22 thru 2022-11-01.
feat: update mathlib mod-tac-stx 2022-11-01 (#536) This adds all the changes to tactic syntax that have happened in the period 2022-02-22 thru 2022-11-01.