Replace xy with tikz in subgroups.tex

UniMath / SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Creative Commons Attribution Share Alike 4.0 International

371 stars 22 forks source link

Replace xy with tikz in subgroups.tex #180

Open favonia opened 1 year ago

favonia commented 1 year ago

This is WIP. Related: #169. Progress 4/14.

favonia commented 1 year ago

@UlrikBuchholtz @bidundas Before moving on, I would like to have some confirmation that I'm on the right track. Thanks. (For example, should diagrams have a period at the bottom right position? Currently some do, and some do not.)

favonia commented 7 months ago

@UlrikBuchholtz Is it okay if I just merge this PR?