mathlib3

feat(tactic/auto_cases): run auto_cases on false and psigma

#1428

Merged