Theorem WittVector.mapFun.nat_cast

Modification history