-
Notifications
You must be signed in to change notification settings - Fork 132
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Rename
isCommutativeLawkind: refactoringIssue or PR about a refactoring. (reorganizing the code, reusing theorems, simplifications...)Issue or PR about a refactoring. (reorganizing the code, reusing theorems, simplifications...)Status: Open.#1609 In math-comp/math-comp;- Status: Open.#1576 In math-comp/math-comp;
form->mxformkind: refactoringIssue or PR about a refactoring. (reorganizing the code, reusing theorems, simplifications...)Issue or PR about a refactoring. (reorganizing the code, reusing theorems, simplifications...)Status: Open.#1574 In math-comp/math-comp;ltnSvs.ltnSEkind: questionIssue asking a question about math-comp.Issue asking a question about math-comp.Status: Open.#1573 In math-comp/math-comp;- Status: Open.#1569 In math-comp/math-comp;
- Status: Open.#1567 In math-comp/math-comp;
- Status: Open.#1564 In math-comp/math-comp;
naming in
algebrakind: questionIssue asking a question about math-comp.Issue asking a question about math-comp.Status: Open.#1557 In math-comp/math-comp;- Status: Open.
- Status: Open.#1543 In math-comp/math-comp;
use
raddf0withGRing.Scale.lawkind: questionIssue asking a question about math-comp.Issue asking a question about math-comp.Status: Open.#1536 In math-comp/math-comp;- Status: Open.#1527 In math-comp/math-comp;