Quantization commutes with reduction

ID: quantization-commutes-with-reduction

New to topics? Read the docs here!