Theorem FirstOrder.Language.Structure.funMap_apply₂

Modification history