Theorem Dynamics.coverMincard_closure_le

Modification history