Mathlib v3 is deprecated. Go to Mathlib v4

Def test_terminal_goal_3

Modification history

2019-05-15 09:44
test/terminal_goal.lean
feat(tactic/terminal_goal): determine if other goals depend on the current one (#984) …
Added test_terminal_goal_3View on Github →