Bonjour tout le monde,
J'ai une petite question, je dois réécrire l'union pour n dans N de l'intersection pour k dans K des Ank comme une intersection d'unions. Je sais que c'est la distributivité mais je n'arrive pas à formaliser cela dans un cas général!
Quelqu'un peut-il m'aider ?
Merci d'avance à tous et toutes.
-----