feat: transfer star-related instances across equivalences#37914
Open
j-loreaux wants to merge 1 commit intoleanprover-community:masterfrom
Open
feat: transfer star-related instances across equivalences#37914j-loreaux wants to merge 1 commit intoleanprover-community:masterfrom
star-related instances across equivalences#37914j-loreaux wants to merge 1 commit intoleanprover-community:masterfrom
