Theorem finSigmaFinEquiv_one

Modification history