Mathlib v3 is deprecated. Go to Mathlib v4

Def test_subsingleton_goal_1

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_subsingleton_goal_1 View on Github →