Skip to content

modifying exp.v for a different definition of poweR #647

modifying exp.v for a different definition of poweR

modifying exp.v for a different definition of poweR #647

coq

succeeded Nov 21, 2024 in 37s