Inductive Mathlib.Meta.List.ProveNilOrConsResult

Modification history