Theorem decide_True'

Modification history