Theorem RootPairing.toLinearMap_apply_apply_mem_range_algebraMap

Modification history