Theorem Dynamics.IsDynNetIn.card_le_netMaxcard

Modification history