Theorem list.forall₂_nil_right_iff
Modification history
2022-09-02 10:49
src/data/list/forall2.lean
refactor(data/list/forall2): consistent names of relations (#16098)
Modified list.forall₂_nil_right_iffView on Github →2020-05-01 10:09
src/data/list/forall2.lean
fix(tactic/lint/basic): remove default argument for auto_decl and enable more linters (#2580) …
Modified list.forall₂_nil_right_iffView on Github →