fix: /check-golf --measure crash (def_body_changed -> def_value_changed)#1399

jstoobysmith merged 1 commit into

leanprover-community:masterleanprover-community/physlib:masterfrom

Vilin97:fix-check-golf-measureVilin97/physlib:fix-check-golf-measureCopy head branch name to clipboard