feat(group_theory/conjugates) : define conjugates #1029
mergify
merged
21 commits into
leanprover-community:master
from
group-conjugates
digama0
commented
on 2019-05-14
digama0
commented
on 2019-05-14
digama0
commented
on 2019-05-14
ChrisHughes24
commented
on 2019-05-14
feat(algebra/order_functions): generalize strict_mono.monotone (#1022)
d9070450
Michael-Howes
commented
on 2019-05-15
Merge branch 'master' into group-conjugates
db3ffb7e
moving stuff to where it belongs
8593748a
removed unecessary import
3c20f395
Changed to union
e2f9fa01
Update src/group_theory/subgroup.lean
453194c0
Stylistic changes
e104c8cc
Merge branch 'group-conjugates' of https://github.com/Michael-Howes/m…
d2949a97
Added authorship
36beccad
Moved mem_conjugates_of_set
61235593
Authorship
102f0e52
Merge branch 'master' into group-conjugates
542ddb86
Trying fixes
95249bc5
Merge branch 'group-conjugates' of https://github.com/Michael-Howes/m…
3072ef27
Putting everything in the right order
44f8c20e
Merge branch 'master' into group-conjugates
032c28bf
Merge branch 'master' into group-conjugates
8ef82bc8
Merge branch 'master' into group-conjugates
4447aec1
khoek
commented
on 2019-05-24
removed import
bf51daa0
Merge branch 'group-conjugates' of https://github.com/Michael-Howes/m…
9a84338b
ChrisHughes24
approved these changes
on 2019-05-26
Merge branch 'master' into 'group-conjugates'
727f3004
Reviewers
Assignees
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub