feat(Analysis/InnerProductSpace/Quotient): add the quotient InnerProductSpace
by the null space
#36933
Loading
InnerProductSpace
by the null space
#36933