Skip to content

feat: "sine qua non" premise selection #19256

feat: "sine qua non" premise selection

feat: "sine qua non" premise selection #19256

check-lean-files

succeeded Oct 29, 2025 in 31s