Commit 2023-03-25 01:18 cd7f2d5f

View on Github →

feat: port LinearAlgebra.AffineSpace.MidpointZero (#3084)

Estimated changes

added theorem homothety_invOf_two
added theorem homothety_inv_two
added theorem homothety_one_half
added theorem lineMap_inv_two
added theorem lineMap_one_half
added theorem pi_midpoint_apply