Def diag

Modification history

2026-07-07 14:28

MathlibTest/FunPropMinimal.lean

fix(Tactic/FunProp): resolve names to be unfolded (#41370) …

Deleted diag View on Github →

2024-02-21 19:28

test/fun_prop_dev.lean

fix: refactor of `fun_prop` and several bug fixes (#10724) …

Added diag View on Github →