Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Merged by Bors] - feat: Port Algebra.Quandle #1817

Closed
wants to merge 15 commits into from
Closed

[Merged by Bors] - feat: Port Algebra.Quandle #1817

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
43ff6f4
feat: port Algebra.Quandle
aricursion Jan 24, 2023
624b397
Initial file copy from mathport
aricursion Jan 24, 2023
01e7193
automated fixes
aricursion Jan 24, 2023
b7644c8
intro
aricursion Jan 24, 2023
3e8c7b1
progress held up by group tactic
aricursion Jan 24, 2023
9c41177
more progress
aricursion Jan 24, 2023
dc26413
one theorem left
aricursion Jan 24, 2023
6d5b31c
compiling
aricursion Jan 25, 2023
81314dd
lint start
aricursion Jan 25, 2023
abe72cc
comments
aricursion Jan 25, 2023
1c54f91
extra space
aricursion Jan 25, 2023
1000dc5
typo
aricursion Jan 25, 2023
4d2c2d6
fixed
aricursion Jan 25, 2023
62b620b
changed theorem name to reflect act'
aricursion Jan 25, 2023
e922fcf
capitalization
aricursion Jan 25, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions Mathlib.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -156,6 +156,7 @@ import Mathlib.Algebra.Order.ZeroLEOne
import Mathlib.Algebra.PEmptyInstances
import Mathlib.Algebra.PUnitInstances
import Mathlib.Algebra.Parity
import Mathlib.Algebra.Quandle
import Mathlib.Algebra.Quotient
import Mathlib.Algebra.Regular.Basic
import Mathlib.Algebra.Regular.Pow
Expand Down
Loading