Base change (and complexification) of quadratic forms#31

eric-wieser wants to merge 24 commits into

masterpygae/lean-ga:masterfrom

eric-wieser/tensor_base_changepygae/lean-ga:eric-wieser/tensor_base_changeCopy head branch name to clipboard