Theorem AddAction.stabilizer_vadd_eq_stabilizer_map_conj

Modification history