Modify lm_gather_equiv.
Rename lm_scatter <-> lm_scatter_rev.
Showing
- Algebra/AffineSpace/AffineSpace_aff_map.v 1 addition, 1 deletionAlgebra/AffineSpace/AffineSpace_aff_map.v
- Algebra/ModuleSpace/ModuleSpace_R_compl.v 1 addition, 1 deletionAlgebra/ModuleSpace/ModuleSpace_R_compl.v
- Algebra/ModuleSpace/ModuleSpace_lin_map.v 7 additions, 7 deletionsAlgebra/ModuleSpace/ModuleSpace_lin_map.v
Loading
Please register or sign in to comment