Theorem Function.support_natCast

Modification history