Try to add an inductive definition of a multivector#2

eric-wieser wants to merge 1 commit intopygae:masterpygae/lean-ga:masterfrom

eric-wieser:inductiveeric-wieser/lean-ga:inductiveCopy head branch name to clipboard