Theorem le_collapse_of_insert_mem

Modification history