Theorem Filter.generate_eq_generate_inter

Modification history