refactor: golf Function/SimpleFunc, Function/LpSeminorm, Constructions/Polish#38106
Closed
yuanyi-350 wants to merge 6 commits intoleanprover-community:masterfrom
Closed
refactor: golf Function/SimpleFunc, Function/LpSeminorm, Constructions/Polish#38106yuanyi-350 wants to merge 6 commits intoleanprover-community:masterfrom
Function/SimpleFunc, Function/LpSeminorm, Constructions/Polish#38106yuanyi-350 wants to merge 6 commits intoleanprover-community:masterfrom
