Theorem non_contradictory_intro

Modification history