Theorem FirstOrder.Language.Equiv.toHom_range

Modification history