Theorem RootPairing.corootForm_apply_coroot_self_ne_zero

Modification history