Theorem AffineEquiv.linear_mk'

Modification history