Theorem SetTheory.PGame.Relabelling.numeric_congr

Modification history