Theorem FirstOrder.Language.Equiv.map_rel

Modification history