Skip to content

Commit

Permalink
chore: forward-port leanprover-community/mathlib#18848
Browse files Browse the repository at this point in the history 
This is currently just a placeholder
  • Loading branch information
@eric-wieser
eric-wieser committed May 15, 2023
1 parent a39a8f5 commit 6810ac5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Mathlib/Data/MvPolynomial/Basic.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
Authors: Johannes Hölzl, Johan Commelin, Mario Carneiro
! This file was ported from Lean 3 source module data.mv_polynomial.basic
! leanprover-community/mathlib commit 4e529b03dd62b7b7d13806c3fb974d9d4848910e
! leanprover-community/mathlib commit 2f5b500a507264de86d666a5f87ddb976e2d8de4

Check notice on line 7 in Mathlib/Data/MvPolynomial/Basic.lean

View workflow job for this annotation

GitHub Actions / Add annotations

Synchronization 

See https://leanprover-community.github.io/mathlib-port-status/file/data/mv_polynomial/basic?range=4e529b03dd62b7b7d13806c3fb974d9d4848910e..2f5b500a507264de86d666a5f87ddb976e2d8de4
! Please do not edit these lines, except to modify the commit id
! if you have ported upstream changes.
-/
Expand Down

0 comments on commit 6810ac5

Please sign in to comment.