Theorem Dynamics.coverMincard_le_netMaxcard

Modification history