Theorem Equiv.Perm.mem_finPairsLT

Modification history