Theorem FirstOrder.Language.Substructure.closure_eq_of_le

Modification history