alternating_map_product-tmul-int

Commit

4 years ago

Merge branch 'eric-wieser/alternating-map-smul' into eric-wieser/alternating_map_product-tmul-int # Conflicts: # src/linear_algebra/alternating.lean

Author

eric-wieser

Parents