equational reasoning

  1. REDIRECT Universal algebra {{R with possibilities}}