Def alg_equiv.arrow_congr

Modification history