1 search result for "tag:"logpath:RoucheCapelli""

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
    Cheng-Hui Weng Reynald Affeldt Jacques Garrigue Takafumi Saikawa
    0.1.0
    MIT
    Used by 0 other packages
    24 Oct 2025