mathlib3
feat(data/matrix): more basic matrix lemmas
#873
Merged
Overview
Commits
5
Changes
View On GitHub

feat(data/matrix): more basic matrix lemmas #873

mergify merged 5 commits into master from matrix
abentkamp
cipher1024 cipher1024 assigned avigad avigad 7 years ago
jcommelin
jcommelin dismissed these changes on 2019-04-01
robertylewis
robertylewis dismissed these changes on 2019-04-02
robertylewis robertylewis added ready-to-merge
digama0
digama0 dismissed these changes on 2019-04-03
cipher1024 cipher1024 removed ready-to-merge
cipher1024 cipher1024 added ready-to-merge
abentkamp feat(data/matrix): more basic matrix lemmas
dfc2ac5d
abentkamp abentkamp dismissed their stale review via d75a2a50 7 years ago
abentkamp abentkamp dismissed their stale review via d75a2a50 7 years ago
abentkamp abentkamp dismissed their stale review via d75a2a50 7 years ago
abentkamp abentkamp force pushed from e63ddf80 to d75a2a50 7 years ago
abentkamp feat(data/matrix): transpose_add
8063082c
abentkamp abentkamp force pushed from d75a2a50 to 8063082c 7 years ago
abentkamp
ChrisHughes24 ChrisHughes24 removed ready-to-merge
ChrisHughes24
ChrisHughes24 approved these changes on 2019-04-04
ChrisHughes24 ChrisHughes24 added ready-to-merge
Merge branch 'master' into 'matrix'
9454f88d
abentkamp abentkamp requested a review 7 years ago
cipher1024
cipher1024 approved these changes on 2019-04-05
cipher1024 cipher1024 removed ready-to-merge
cipher1024 cipher1024 added ready-to-merge
Merge branch 'master' into 'matrix'
45315eb2
cipher1024 cipher1024 removed ready-to-merge
cipher1024 cipher1024 added ready-to-merge
Merge branch 'master' into 'matrix'
9111d629
mergify mergify merged 858d111c into master 7 years ago
mergify mergify deleted the matrix branch 7 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
Labels
ready-to-merge
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum