Theorem RootPairing.Base.IsPos.reflectionPerm

Modification history