Theorem Filter.compl_diagonal_mem_prod

Modification history