Commit 2022-06-17 23:41 bd6b98b2

View on Github →

feat(linear_algebra/alternating): add more compositional API (#14802) These will be helpful in relating alternating_maps to the exterior_algebra. This adds:

  • alternating_map.curry_left
  • alternating_map.const_linear_equiv_of_is_empty
  • alternating_map.dom_dom_congr

Estimated changes