Theorem FirstOrder.Language.Structure.funMap_apply₁

Modification history