Theorem Dynamics.netMaxcard_le_coverMincard

Modification history