personal_ws-1.1 en 115 Aryadev Automorphism Automorphisms Biconnected Bilinear Combinatorics Combinatory Contrapositive Eulerian Hashmap Intuitionistic Isometries Maschke Maschke's Monoid NFA Noetherian PDA Schur Schur's Semisimplicity Submodules Transpiler Uncomputable Undirected Unipotents Verifier Whitespace abelian acyclic adjoint allocator anonymised anonymises automorphism automorphisms biconnected bijection bijective bilinear cardinality certifier colourable combinator combinators combinatory computable congruences conjugacy contrapositive coset cosets deallocated decompositions defenestrate derangements destructors deuteragonist deuteragonists diagonalisable distinguishment factorisations homoiconicity homomorphic homomorphism homomorphisms injective intuitionism intuitionist intuitionistic invariants irreducibles isomorphisms lexeme lexemes lexing matchings maximality minimality monoid morphism morphisms nilpotent nilpotents noetherian nonnegative nullspace nullspaces orthonormal parsers piecewise prover semisimple subfield subgraph subgraphs subinterval subintervals submodule submodules subring subsequence subsequences substring supremum surjection surjective uncomputable uncountably undebatable undirected unipotent verifier verifiers whitespace