Skip to content

feat: "sine qua non" premise selection #14417

feat: "sine qua non" premise selection

feat: "sine qua non" premise selection #14417

Backport

succeeded Oct 30, 2025 in 4s