Theorem Dynamics.coverEntropy_closure

Modification history