Theorem List.mapIdxMGo_eq_mapIdxMAuxSpec

Modification history