Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.all₂.imp

Modification history

2022-04-21 12:10

src/data/list/basic.lean

chore(number_theory/dioph): Cleanup (#13403) …

Added list.all₂.imp View on Github →