Theorem FirstOrder.Language.Substructure.copy_eq

Modification history