login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for new revision 1 of 1

1
Editor: TDT
Time: 2021/11/24 17:52:05 GMT+0
Note:

changed:
-
begin/{axiom}
[1/7, 3/4, 5/6]
end/{axiom}







begin/{axiom} [1/7, 3/4, 5/6]? end/{axiom}