GitHub/leanprover-community.mathlib4
1
0
Fork 0
mirror of https://github.com/leanprover-community/mathlib4.git synced 2026-03-07 02:46:33 +00:00
Code Issues Projects Releases Packages Wiki Activity
Alternate names for `List.concat` and `List.append`
thorimur edited this page 2023-12-05 16:34:07 -05:00

Page revisions

34 Commits

Author SHA1 Message Date
thorimur
3542d3f52e Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-05 16:34:07 -05:00
thorimur
51a509d369 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 20:42:55 -05:00
thorimur
c312f24f7e Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 20:39:00 -05:00
thorimur
221ed78f86 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 20:07:30 -05:00
Michael Stoll
d9b5c8fa05 Add a line on Common Lisp; see https://www.lispworks.com/documentation/lw50/CLHS/Front/index.htm 2023-12-04 20:21:50 +01:00
lines
8001bd76dc Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 16:39:09 +00:00
lines
cd6db7617c Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 16:38:12 +00:00
lines
0da10a2efc Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 16:37:38 +00:00
lines
b7ef92daa5 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 16:37:06 +00:00
lines
97b26cc1b4 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 16:22:37 +00:00
lines
f8e58f1a86 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 16:22:23 +00:00
lines
cdd385c600 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 16:21:12 +00:00
lines
264cb448e6 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 16:20:38 +00:00
lines
d4af4f027d Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 16:20:23 +00:00
lines
bd17bfdf99 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 16:02:10 +00:00
lines
bb1f5e164c Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:26:54 +00:00
lines
5e25569b91 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:26:39 +00:00
lines
cdf918f60f Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:25:17 +00:00
lines
6d4bf9c70c Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:24:36 +00:00
Eric Wieser
53ddf92d5c Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:23:24 +00:00
Eric Wieser
13a2beceac Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:21:12 +00:00
lines
3ef0a69c41 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:14:33 +00:00
lines
6df1b45b64 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:13:54 +00:00
lines
fbd8f3fcf3 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:12:11 +00:00
lines
b16ffbfc33 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:11:53 +00:00
lines
e08f889221 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:10:24 +00:00
lines
98dd060750 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:10:01 +00:00
lines
391e07e1de Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 13:04:57 +00:00
Eric Wieser
976457ba28 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 12:59:46 +00:00
Eric Wieser
dca49ff549 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 12:58:19 +00:00
Eric Wieser
9f007fc89b Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 12:57:12 +00:00
Eric Wieser
50cb84e08a Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 12:56:15 +00:00
Eric Wieser
4e9ed518e9 Updated Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 12:56:06 +00:00
Eric Wieser
25d55635b5 Created Alternate names for `List.concat` and `List.append` (markdown) 2023-12-04 12:55:22 +00:00