Theorem FirstOrder.Language.Structure.fg_def

Modification history