Mathlib v3 is deprecated. Go to Mathlib v4

Structure C

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 CView on Github →