Theorem toLex_intCast

Modification history