Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Add morphism instances for N.to_nat and N.of_nat#48

Merged
pi8027 merged 1 commit intomasterfrom
N_to_nat
Jul 11, 2023
Merged

Add morphism instances for N.to_nat and N.of_nat#48
pi8027 merged 1 commit intomasterfrom
N_to_nat

Commits

Commits on Jul 11, 2023