Skip to content

Decrease the scope of a name in RCLS #105

@libeako

Description

@libeako

Just for more elegance: i suggest to minimize the scopes of the names.

In the Beta version:
In http://linear.ups.edu/fcla/section-TSS.html
In theorem 'RCLS': the name "r" [number of non-zero rows] is present in the statement of the theorem but is not needed there. Hence i suggest to move it into the proof.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions