Theorem Sat.Fmla.subsumes_left

Modification history