Theorem RootPairing.algebraMap_root'In_apply

Modification history