Theorem Dynamics.IsDynCoverOf.monotone_subset

Modification history