Theorem closure_Union_of_finite

Modification history