Theorem if_t_t

Modification history