Theorem Dynamics.one_le_netMaxcard_iff

Modification history