Theorem List.mapIdxMAuxSpec_cons

Modification history