max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src/Init/Data/Vector
History
Kim Morrison 22117f21e3
feat: align List/Array/Vector.count theorems (#6712) 
This PR aligns `List`/`Array`/`Vector` theorems for `countP` and
`count`.
2025-01-20 10:20:16 +00:00
..
Basic.lean feat: align List/Array/Vector.count theorems (#6712) 2025-01-20 10:20:16 +00:00
Count.lean feat: align List/Array/Vector.count theorems (#6712) 2025-01-20 10:20:16 +00:00
Lemmas.lean feat: align List/Array/Vector.count theorems (#6712) 2025-01-20 10:20:16 +00:00
Lex.lean chore: protect some lemmas in List/Array/Vector namespace (#6425) 2024-12-20 11:23:56 +00:00
MapIdx.lean feat: complete alignment of {List,Array,Vector}.{mapIdx,mapFinIdx} (#6701) 2025-01-20 04:06:37 +00:00