Commit 2023-04-20 08:29 648ea126

View on Github →

feat: port observe tactic from mathlib (#3516)

Estimated changes

modified def addHaveSuggestion
added theorem euclid