Finitely supported functions: alternative definition of CNF and others
Finitely supported functions: alternative definition of CNF and others

- html/latex definitions for "supp" and "finSupp" moved to proper place
- Additional theorems about finitely supported functions
- new version  of ~ wemapso2
- new version of  ~ mapfien
- Mathbox AV: alternative definition of CNF and corresponding theorems

metamath/set.mm,metamath/set.mm,metamath/set.mm