Theorem WittVector.mapFun.natCast

Modification history