Misc lemmas#465

Merged

jonsterling merged 7 commits intoRedPRL:masterfrom

clayrat:misc-lemmas

Nov 23, 2018

Commits on Nov 6, 2018

print mismatched names in Quote
Alex Gryzlov
committed

Commits on Nov 7, 2018

fix after review
Alex Gryzlov
committed
Merge remote-tracking branch 'upstream/master'
Alex Gryzlov
committed

Commits on Nov 15, 2018

Merge remote-tracking branch 'upstream/master'
Alex Gryzlov
committed
misc lemmas
Alex Gryzlov
committed
fix endings
Alex Gryzlov
committed

Commits on Nov 23, 2018

rename
Alex Gryzlov
committed