Theorem finSigmaFinEquiv_apply

Modification history