Theorem LocalEquiv.ofSet_symm

Modification history