mathlib3
feat(data/matrix/companion): Companion matrix
#15047
Open
Overview
Commits
5
Changes
View On GitHub
Commits
  • companion matrix
    pbazin committed 3 years ago
  • fin.last'
    pbazin committed 3 years ago
  • minpoly
    pbazin committed 3 years ago
  • doc
    pbazin committed 3 years ago
  • simp lemmas from companion def
    pbazin committed 3 years ago
FAQ Terms Privacy Refunds Impressum
Loading