Closed bewakes closed 7 years ago
While showing f to be a momomorphism, it should be sait fog != foh, instead it is written hof != hof
Thanks! However, this has already been fixed. See dffd5f813f455ec5146d6f1982462bdd4aacadf2.
While showing f to be a momomorphism, it should be sait fog != foh, instead it is written hof != hof