Theorem FirstOrder.Language.Substructure.not_mem_of_not_mem_closure

Modification history