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.

Estimated changes