Theorem SemiconjBy.cast_nat_mul_left

Modification history