User contributions for Luolimao
Jump to navigation
Jump to search
12 February 2014
- 05:4805:48, 12 February 2014 diff hist +10 m Talk:Inverse in Monoid is Unique added missing word
- 05:4705:47, 12 February 2014 diff hist +28 Talk:Inverse in Monoid is Unique No edit summary
- 05:4505:45, 12 February 2014 diff hist +364 Talk:Inverse in Monoid is Unique No edit summary
9 November 2013
- 19:5119:51, 9 November 2013 diff hist +52 Derivative of x to the x Added simplifying step
- 19:5019:50, 9 November 2013 diff hist +290 Derivative of x to the x Separated steps for clarity/tidiness
- 19:2419:24, 9 November 2013 diff hist −22 Frobenius's Theorem added missing i; disambiguated definition
- 19:1619:16, 9 November 2013 diff hist +8 m Determinant of Triangular Matrix fixed line spacing
- 19:1219:12, 9 November 2013 diff hist +646 Determinant of Triangular Matrix Formalized proof
- 17:0017:00, 9 November 2013 diff hist +12 Square Matrix is Row Equivalent to Triangular Matrix/Proof 2 fixed indices in induction step
- 16:5916:59, 9 November 2013 diff hist +12 Square Matrix is Row Equivalent to Triangular Matrix/Proof 1 changed final index from n to n+1 in induction step