1 search result for "tag:"keyword:functions to an algebraic structure""
Showing 1 - 1
-
rocq-num-analysis-algebra
No documentation
structures for numerical alysis in Rocqcategory:Math/Algebra date:2025-06 logpath:Num alysis.Algebra keyword:algebra keyword: structure hierarchy keyword:functions structure keyword: substructure keyword:morphism keyword:monoid keyword:group keyword:ring keyword:module space keyword:affine space keyword:dimension theorem keyword:incomplete basis theorem keyword:dual basis keyword:predual basis keyword:r k-nullity theorem keyword:binomial coefficient2.0.0LGPL-3.0-or-laterUsed by 2 other packages23 Jun 2025