Theorem RootPairing.reflection_apply_root'

Modification history