Theorem FirstOrder.Language.Substructure.closure_univ

Modification history