Theorem FirstOrder.Language.HomClass.map_constants

Modification history