Theorem Dynamics.netMaxcard_infinite_iff

Modification history