Theorem FirstOrder.Language.Substructure.cg_closure

Modification history