Mathlib v3 is deprecated. Go to Mathlib v4

Def tactic.list_Pi

Modification history

2018-05-20 06:37
tactic/rcases.lean
fix(tactic/interactive): make rcases handle nested constructors correctly …
Added tactic.list_PiView on Github →