feat(Algebra): expand Subalgebra.restrictScalars API#38018
Open
matthewjasper wants to merge 2 commits intoleanprover-community:masterfrom
Open
feat(Algebra): expand Subalgebra.restrictScalars API#38018matthewjasper wants to merge 2 commits intoleanprover-community:masterfrom
matthewjasper wants to merge 2 commits intoleanprover-community:masterfrom
