Theorem FirstOrder.Language.Substructure.map_strictMono_of_injective

Modification history