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 →