Axiome du Choix Dépendant

concept

Propriétés