Theorem Filter.frequently_and_distrib_left

Modification history