Theorem Dynamics.log_netMaxcard_nonneg

Modification history