商多様体しょうたようたい<しょう>・た'よう'たい0

Math.Quotientenvarietät