Mathlib v3 is deprecated. Go to Mathlib v4

Structure terminal_goal_struct'

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