New Lean maths challenge at http://tinyurl.com/LeanMathsChallenges … : prove (ghk^{-1})^{-1}=kh^{-1}g^{-1} in a group.
0 replies
1 proslijeđeni tweet
6 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.