insigasiga
insigasiga › insiga
Provenance
- #17 arithmetic-operators concept_map 2026-06-24 maps lean/mod → concept modulo
- #28 sealion-refinement concept_map 2026-07-19 maps lean/mod → concept modulo winning layer
Concept modulo
Brain 1.1.0-alpha.13 · Open in explorer → · Discuss on the NADA forum →