/agda-law-transfer

Law Transfer via homomorphism

Law Transfer