Theorem ofLex_intCast

Modification history