fix(10): add code tags - Githubissues

leanprover / tutorial

Lean Tutorials

https://leanprover.github.io/tutorial

Apache License 2.0

44 stars 46 forks source link

fix(10): add code tags #178

Closed spl closed 8 years ago

spl commented 8 years ago

Otherwise, comm_semigroup looks like comm with a subscript semigroup.

soonhokong commented 8 years ago

merged by 3e0b684