impl_with_conj in Laws.v als Theorem

Abändern von Corollary impl_with_conj in Laws.v zu einem Theorem.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information