Skip to content

Try to add an inductive definition of a multivector - #2

Draft
eric-wieser wants to merge 1 commit into
pygae:masterfrom
eric-wieser:inductive
Draft

Try to add an inductive definition of a multivector#2
eric-wieser wants to merge 1 commit into
pygae:masterfrom
eric-wieser:inductive

Commits

Commits on Jun 26, 2020