chore(LinearAlgebra/CliffordAlgebra/SpinGroup): remove an erw#38522
Open
yuanyi-350 wants to merge 1 commit intoleanprover-community:masterfrom
Open
chore(LinearAlgebra/CliffordAlgebra/SpinGroup): remove an erw#38522yuanyi-350 wants to merge 1 commit intoleanprover-community:masterfrom
yuanyi-350 wants to merge 1 commit intoleanprover-community:masterfrom
