Printing for if <term> is <pattern> then _ else _ syntax#22124

proux01 wants to merge 4 commits into

rocq-prover:masterrocq-prover/rocq:masterfrom

proux01:if-printingproux01/rocq:if-printingCopy head branch name to clipboard