Theorem mulIndicator_cthickening_eventually_eq_mulIndicator_closure

Modification history