Commit 2024-04-10 06:01 45d128c7

View on Github →

chore(List/Basic): golf some proofs (#11996)

Estimated changes