Skip to content

feat: a List lemma #19390

feat: a List lemma

feat: a List lemma #19390

check-lean-files

succeeded Nov 1, 2025 in 30s