Theorem RootPairing.toDualLeft_comp_root

Modification history