Theorem dec_em'

Modification history