User talk:113.185.104.125

August 2020
Hello, I'm Blablubbs. I wanted to let you know that I reverted one of your recent contributions —specifically this edit to Homotopy type theory—because it did not appear constructive. If you would like to experiment, please use the sandbox. If you have any questions, you can ask for assistance at the Help desk. Thanks. — Blablubbs (talk • contribs) 10:21, 17 August 2020 (UTC)
 * If this is a shared IP address, and you did not make the edits referred to above, consider creating an account for yourself or logging in with an existing account so that you can avoid further irrelevant notices.