Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* ~ rspc2vd moved up * ~df-frgr and ~isfrgr revised (~frgrusgrfrcond became obsolete) * symbols "RegGraph" and "RegUsGraph" surrounded by spaces (are used in "operation style")
- Loading branch information