Theorem of_as_true

Modification history