Theorem toDual_natCast

Modification history