Theorem RootPairing.coroot'_apply_apply_mem_of_mem_span

Modification history