Commit 2022-03-29 17:44 e92ecffc

feat(algebra/direct_sum/module): link direct_sum.submodule_is_internal to is_compl (#12671) This is then used to show the even and odd components of a clifford algebra are complementary.