Theorem Int.shiftl_coe_nat

Modification history