Skip to content

feat: "sine qua non" premise selection #19237

feat: "sine qua non" premise selection

feat: "sine qua non" premise selection #19237

check-lean-files

succeeded Oct 29, 2025 in 37s