Fix instance argument to Print and About with sort variables#21738
Open
yannl35133 wants to merge 1 commit intorocq-prover:masterfrom
Open
Fix instance argument to Print and About with sort variables#21738yannl35133 wants to merge 1 commit intorocq-prover:masterfrom
yannl35133 wants to merge 1 commit intorocq-prover:masterfrom
