Theorem Dynamics.netMaxcard_finite_iff

Modification history