Mathlib v3 is deprecated. Go to Mathlib v4

Structure dependent_fields

Modification history

2019-05-08 11:42
test/ext.lean
chore(tactics): splitting tactics and tests into more files (#985) …
Modified dependent_fieldsView on Github →
2018-10-01 20:26
tests/tactics.lean
feat(tactic/ext): add apply_cfg argument to ext1 (#346) …
Added dependent_fieldsView on Github →