Theorem WittVector.mapFun.int_cast

Modification history