misc

Define is_free_finite_is_basis and is_generator_finite_is_basis.

Mouhcine authored Sep 21, 2022

Prove interp_op_local_is_poly lemma.
Some issues of mult/scal in kronecker.v

d6db38bb

d6db38bb Sep 21, 2022

Name	Last commit	Last update
..
SafeDequeue.cpp
SafeDequeue.h
md5_hash.h
sha2.c
sha2.h
stacksafe.cpp
stacksafe.h