]> gitweb.factorcode.org Git - factor.git/commit
math.vectors: replace supremum
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 23 Oct 2023 20:41:44 +0000 (13:41 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 23 Oct 2023 20:41:44 +0000 (13:41 -0700)
commitc0a56c9c3fd28124191739ec6caf40b2f7926d23
tree9b82de638e73504282ed7d3f3a19317c55880518
parent791776f9b9e31e7e3e7fe779d365f50dcec5c0cc
math.vectors: replace supremum
basis/math/vectors/vectors.factor