summaryrefslogtreecommitdiff
path: root/tests/lean/Array
diff options
context:
space:
mode:
authorSon Ho2023-10-13 00:40:37 +0200
committerSon Ho2023-10-13 00:40:37 +0200
commit0f0e4be7dc746e2676db33f850bbeddf239eaec8 (patch)
treeea8ab9462d73f493bafeed5b914cb05514eddaa2 /tests/lean/Array
parentaf78286d801b26bf7a70b8815619591d48245cb8 (diff)
Add sup
Diffstat (limited to 'tests/lean/Array')
0 files changed, 0 insertions, 0 deletions