Theorem Dynamics.IsDynCoverOf.coverMincard_le_card

Modification history