Skip to content

regroup optionals in proofs #2849

regroup optionals in proofs

regroup optionals in proofs #2849

Lint and checks

succeeded Oct 4, 2024 in 6s