personal_ws-1.1 en 120 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 formalised homoiconicity homomorphic homomorphism homomorphisms injective intuitionism intuitionist intuitionistic invariants irreducibles isomorphisms iteratively javascript lexeme lexemes lexing matchings maximality minimality monoid morphism morphisms nilpotent nilpotents noetherian nonnegative nullspace nullspaces orthonormal parsers piecewise preprocesser prover semisimple subfield subgraph subgraphs subinterval subintervals submodule submodules subring subsequence subsequences substring supremum surjection surjective uncomputable uncountably undebatable undirected unipotent utilise verifier verifiers whitespace