Theorem RootPairing.Base.height_reflectionPerm_self

Modification history