feat: set dsimp := false in @[to_app]#39009
Closed
JovanGerb wants to merge 1 commit intoleanprover-community:masterfrom
Closed
feat: set dsimp := false in @[to_app]#39009JovanGerb wants to merge 1 commit intoleanprover-community:masterfrom
dsimp := false in @[to_app]#39009JovanGerb wants to merge 1 commit intoleanprover-community:masterfrom
