Skip to content

Resolve "impl_with_conj in Laws.v als Theorem"

Max Ole Elliger requested to merge 9-impl_with_conj-in-laws-v-als-theorem into master

Closes #9 (closed)

Merge request reports