Theorem Dynamics.coverMincard_le_card

Modification history