Commit 2023-03-23 16:06 fef9b590
View on Github →feat: port LinearAlgebra.AffineSpace.AffineEquiv (#2692)
This ran into many of the problems that #2899 did, where simp
would fail but simp [(foo)]
or simp [foo _]
would succeed.
feat: port LinearAlgebra.AffineSpace.AffineEquiv (#2692)
This ran into many of the problems that #2899 did, where simp
would fail but simp [(foo)]
or simp [foo _]
would succeed.