Skip to content

Commit

Permalink
Chase w/o alt match: endo on result surjective
Browse files Browse the repository at this point in the history
monsterkrampe committed Dec 17, 2024

Verified

This commit was signed with the committer’s verified signature.
monsterkrampe Lukas Gerlach
1 parent 6eeef66 commit 2a3a4b0
Showing 4 changed files with 544 additions and 1 deletion.
1 change: 1 addition & 0 deletions ProofLibrary.lean
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
import ProofLibrary.AlternativeMatches.Basic
import ProofLibrary.AlternativeMatches.Chase
import ProofLibrary.AlternativeMatches.HomomorphismExtension
import ProofLibrary.ChaseSequence.Basic
import ProofLibrary.ChaseSequence.Universality
Loading

0 comments on commit 2a3a4b0

Please sign in to comment.