Theorem Sym.map_congr

Modification history