Add mapping notation to definition of binary operation

dcernst / IBL-AbstractAlgebra

IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.

http://dcernst.github.io/IBL-AbstractAlgebra/

68 stars 11 forks source link

Closed dcernst closed 2 years ago

dcernst commented 3 years ago

Comment from Jeff Slye: I found it helpful to add a line using the familiar notation * : AxA -> A in Def 2.15

dcernst commented 2 years ago

Done.