Theorem euclid

Modification history

2023-04-20 08:29
test/observe.lean
feat: port observe tactic from mathlib (#3516)
Added euclidView on Github →