Theorem PGame.Relabelling.numeric_congr

Modification history