issues
search
pufferffish
/
agda-symmetries
MIT License
5
stars
1
forks
source link
Prove natural numbers are free X-structures on Y
#58
Open
vikraman
opened
8 months ago
vikraman
commented
8 months ago
X = monoid, commutative monoid, commutative rig Y = 1, 1, 0
X = monoid, commutative monoid, commutative rig Y = 1, 1, 0