lean-ga icon indicating copy to clipboard operation
lean-ga copied to clipboard

Published 20 hours ago • verified publisher icon pygae

Base change (and complexification) of quadratic forms

Open eric-wieser opened this issue 1 year ago • 0 comments

This is now fully covered by https://github.com/leanprover-community/mathlib4/pull/6778

eric-wieser avatar Jul 20 '23 22:07 eric-wieser