PROOF-SortSpec-sortPreservesLength.agda 1.18 KB