Theorem dite_le_one

Modification history