Theorem RCLike.zero_re

Modification history