GitHub repository: sseefried/agda-law-transfer
Created: 2023-08-01T23:37:04Z
Description: Law Transfer via homomorphism