Theorem Dynamics.IsDynNetIn.card_le_card_of_isDynCoverOf

Modification history