-
François Clément authored+ ModuleSpace_lin_comb + ModuleSpace_lin_map + ModuleSpace_sub. Update doc (usage). Update imports.
edd124f8
_CoqProject 3.96 KiB
+ ModuleSpace_lin_comb + ModuleSpace_lin_map + ModuleSpace_sub. Update doc (usage). Update imports.