Theorem DFinsupp.add_closure_iUnion_range_single

Modification history