Commit 2024-12-29 13:25 de084eb0

View on Github →

chore(Data/List/MinMax): fix lemma names (#20318)

Estimated changes