Theorem Finsupp.add_closure_setOf_eq_single

Modification history