1 search result for "tag:"date:2025-11-05""

Showing 1 - 1
  1. rocq-rouche-capelli

    No documentation

    A proof for the Rouché–Capelli theorem by rocq-math-comp
    category:Mathematics/Algebra keyword:linear algebra keyword:matrix keyword:rank logpath:RoucheCapelli date:2025-11-05
    Cheng-Hui Weng Reynald Affeldt Jacques Garrigue Takafumi Saikawa
    0.2.0
    MIT
    Used by 0 other packages
    20 Nov 2025