Theorem List.Sublist.sublistForall₂

Modification history

2026-01-09 08:53

Mathlib/Data/List/Forall2.lean

chore(Order/Defs/Unbundled): deprecate `IsRefl` in favor of core's `Std.Refl` (#33755)

Modified List.Sublist.sublistForall₂ View on Github →

2023-01-06 11:42

Mathlib/Data/List/Forall2.lean

feat: port Data.List.Forall2 (#1359)

Added List.Sublist.sublistForall₂ View on Github →