Theorem FirstOrder.Language.Structure.funMap_apply₀

Modification history