Skip to content

feat: "sine qua non" premise selection #19238

feat: "sine qua non" premise selection

feat: "sine qua non" premise selection #19238

check-lean-files

succeeded Oct 29, 2025 in 33s