Theorem toDual_intCast

Modification history