Demostraciones de "s ∩ t = t ∩ s"
Se ha añadido el ejercicio Demostraciones con Lean4 e Isabelle/HOL de "s ∩ t = t ∩ s" propuesto el 24 de mayo de 2021.
Se ha añadido el ejercicio Demostraciones con Lean4 e Isabelle/HOL de "s ∩ t = t ∩ s" propuesto el 24 de mayo de 2021.