Cover ∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']]
SensCritique
∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']]

∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']]

∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']] est un groupe de musique.

0