Theorem Dynamics.IsDynNetIn.of_entourage_subset

Modification history