Theorem FirstOrder.Language.Hom.ext_iff

Modification history