Theorem Finite.Set.finite_bunionᵢ

Modification history