Theorem Sat.Literal.reify_pos

Modification history