Theorem AddEquiv.toIntLinearEquiv_symm

Modification history