4 Commits

Author	SHA1	Message	Date
Marek Kaluba	af3913d085	more formatting	2023-03-15 19:07:14 +01:00
Marek Kaluba	29e2097f2f	formatting	2022-10-14 01:14:38 +02:00
Marek Kaluba	42d4c41d90	replace inv(A::Alphabet, ...) → inv(..., A)	2022-10-13 23:27:50 +02:00
Marek Kaluba	dd6588f018	add Homomorphisms	2022-04-02 14:24:01 +02:00