add a coe to fun or fun like for valuations - Githubissues

KisaraBlue / ec-tate-lean

Separate project from mathib4

3 stars 2 forks source link

add a coe to fun or fun like for valuations #12

Closed alexjbest closed 1 year ago