Theorem FirstOrder.Language.Substructure.fg_def

Modification history