Theorem RCLike.zero_im

Modification history