feat(Analysis/InnerProductSpace/Quotient): add the quotient InnerProductSpace
by the null space
#16707
+880
−1
InnerProductSpace
by the null space
#16707