Skip to content

Activity

Showing most recent first

Merge branch 'master' into eric-wieser/tensor_base_change

eric-wieserpushed 9 commits to eric-wieser/tensor_base_change • a7708f1…8b59e00 • 
on Oct 25, 2023

Add mathlib link

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • 55110dd…a7708f1 • 
on Oct 25, 2023

Minor fixes for Clifford algebra definitions

utensilpushed 5 commits to blueprint • 1c32c44…b54cdda • 
on Aug 25, 2023

sorry-free

eric-wieserpushed 1 commit to master • 3a06d05…0947a6d • 
on Aug 20, 2023

expand the laurents example

eric-wieserpushed 1 commit to master • 5a4d578…3a06d05 • 
on Aug 20, 2023

tweak

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • 88af79f…55110dd • 
on Aug 4, 2023

missing file

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • f6e5a6f…88af79f • 
on Aug 4, 2023

fix docstrings

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • c65cc7b…f6e5a6f • 
on Aug 4, 2023

complexification of reverse is also trivial

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • f7917e3…c65cc7b • 
on Aug 4, 2023

involution lemma

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • 69a38ce…f7917e3 • 
on Aug 3, 2023

add the exterior algebra functor too for good measure

eric-wieserpushed 1 commit to master • 7657a75…5a4d578 • 
on Jul 28, 2023

add terminal object

eric-wieserpushed 1 commit to master • 5704223…7657a75 • 
on Jul 27, 2023

fix build error

eric-wieserpushed 1 commit to master • a5c2656…5704223 • 
on Jul 27, 2023

semilinearity

eric-wieserpushed 1 commit to master • f92f012…a5c2656 • 
on Jul 23, 2023

fix crash

eric-wieserpushed 2 commits to master • 2c96457…f92f012 • 
on Jul 22, 2023

generalize

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • f60556e…69a38ce • 
on Jul 22, 2023

docstrings

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • b1e7844…f60556e • 
on Jul 21, 2023

fully sorry-free!

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • 7f5385c…b1e7844 • 
on Jul 21, 2023

one remains, but it's false

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • 4b908e6…7f5385c • 
on Jul 21, 2023

banish another sorry

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • 05c387f…4b908e6 • 
on Jul 21, 2023

docstrings

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • ca143e9…05c387f • 
on Jul 21, 2023

finally done

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • cd4499a…ca143e9 • 
on Jul 21, 2023

so close

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • 2dfeb3c…cd4499a • 
on Jul 21, 2023

done

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • 5a584b9…2dfeb3c • 
on Jul 20, 2023

tidy

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • cc355b9…5a584b9 • 
on Jul 20, 2023

oops

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • 44c306e…cc355b9 • 
on Jul 20, 2023

complexify

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • 1290423…44c306e • 
on Jul 20, 2023

all but tensor^3_comm

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • ebf7e87…1290423 • 
on Jul 20, 2023

cleanup

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • da87b80…ebf7e87 • 
on Jul 20, 2023

rid

eric-wieserpushed 1 commit to eric-wieser/tensor_base_change • 9c82583…da87b80 • 
on Jul 20, 2023