proof(luminary099): page 1174

pull/844/head
Taís Massaro 2021-10-29 19:49:45 +00:00 committed by GitHub
parent 4e94fb7c1a
commit 99cc7704fb
1 changed files with 1 additions and 0 deletions

View File

@ -666,6 +666,7 @@ KEPLERN SETPD BOV
DMP SL1R
1/ROOTMU # 1/ROOTMU (-17 OR -14)
STOVL KEPC1 # C1=R.V/ROOTMU (+17 OR +16)
VRECT
VSQ DMPR
1/MU # 1/MU (-34 OR -28)