Def BialgEquiv.Simps.apply

Modification history