Skip to content

feat: "sine qua non" premise selection #19274

feat: "sine qua non" premise selection

feat: "sine qua non" premise selection #19274

check-lean-files

succeeded Oct 29, 2025 in 31s