Skip to content

feat: "sine qua non" premise selection #19276

feat: "sine qua non" premise selection

feat: "sine qua non" premise selection #19276

check-lean-files

succeeded Oct 29, 2025 in 32s