Theorem RootPairing.prod_rootFormIn_smul_coroot_mem_range_PolarizationIn

Modification history