| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1053 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (157 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (10 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (95 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (11 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (260 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (13 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (79 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (34 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (9 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (376 entries) |
Global Index
A
a2q [definition, in VQCS.Quantity]B
BaseUnit [inductive, in VQCS.Unit]BaseUnit_eq_dec [definition, in VQCS.Unit]
BaseUnit_sind [definition, in VQCS.Unit]
BaseUnit_rec [definition, in VQCS.Unit]
BaseUnit_ind [definition, in VQCS.Unit]
BaseUnit_rect [definition, in VQCS.Unit]
Basic [library]
BUAmountOfSubstance [constructor, in VQCS.Unit]
BUElectricCurrent [constructor, in VQCS.Unit]
bueqb [definition, in VQCS.Unit]
bueqb_refl [lemma, in VQCS.Unit]
bueqb_reflect [lemma, in VQCS.Unit]
bueqb_false_iff [lemma, in VQCS.Unit]
bueqb_true_iff [lemma, in VQCS.Unit]
BULength [constructor, in VQCS.Unit]
BULuminousIntensity [constructor, in VQCS.Unit]
BUMass [constructor, in VQCS.Unit]
BUThermodynamicTemperature [constructor, in VQCS.Unit]
BUTime [constructor, in VQCS.Unit]
bu2nat [definition, in VQCS.Unit]
bu2nat_nat2bu_id [lemma, in VQCS.Unit]
C
CHK_UNIT [definition, in VQCS.test_PropulsionSystem.Basic]condH_val_T_t [axiom, in VQCS.test_PropulsionSystem.Basic]
condH_val_h [axiom, in VQCS.test_PropulsionSystem.Basic]
condL_val_T_t [axiom, in VQCS.test_PropulsionSystem.Basic]
condL_val_h [axiom, in VQCS.test_PropulsionSystem.Basic]
const_val_T_0 [axiom, in VQCS.test_PropulsionSystem.Basic]
const_val_0_06 [axiom, in VQCS.test_PropulsionSystem.Basic]
const_val_9_55 [axiom, in VQCS.test_PropulsionSystem.Basic]
const_val_0_25 [axiom, in VQCS.test_PropulsionSystem.Basic]
const_val_0_8 [axiom, in VQCS.test_PropulsionSystem.Basic]
const_val_5_2561 [axiom, in VQCS.test_PropulsionSystem.Basic]
const_val_0_0065 [axiom, in VQCS.test_PropulsionSystem.Basic]
CVT_UNIT [definition, in VQCS.test_PropulsionSystem.Basic]
C_min [definition, in VQCS.test_PropulsionSystem.Basic]
C_b [definition, in VQCS.test_PropulsionSystem.Basic]
C_M [definition, in VQCS.test_PropulsionSystem.Basic]
C_d [definition, in VQCS.test_PropulsionSystem.Basic]
C_T [definition, in VQCS.test_PropulsionSystem.Basic]
D
dAll [definition, in VQCS.Nunit]dAllb [definition, in VQCS.Nunit]
ddiv [definition, in VQCS.Nunit]
ddivCond [definition, in VQCS.Nunit]
ddivCondb [definition, in VQCS.Nunit]
ddiv_dscal [lemma, in VQCS.Nunit]
demo1 [module, in VQCS.test_PropulsionSystem.Basic]
demo1.get_T_by_N_CONVERT_OUTPUT [definition, in VQCS.test_PropulsionSystem.Basic]
demo1.get_T_by_N_CONVERT_INPUT [definition, in VQCS.test_PropulsionSystem.Basic]
demo1.get_T_by_N_CHECK_INPUT [definition, in VQCS.test_PropulsionSystem.Basic]
demo1.get_T_by_N_NOCHECK [definition, in VQCS.test_PropulsionSystem.Basic]
demo1.Unnamed_thm4 [definition, in VQCS.test_PropulsionSystem.Basic]
demo1.Unnamed_thm3 [definition, in VQCS.test_PropulsionSystem.Basic]
demo1.Unnamed_thm2 [definition, in VQCS.test_PropulsionSystem.Basic]
demo1.Unnamed_thm1 [definition, in VQCS.test_PropulsionSystem.Basic]
demo1.Unnamed_thm0 [definition, in VQCS.test_PropulsionSystem.Basic]
demo1.Unnamed_thm [definition, in VQCS.test_PropulsionSystem.Basic]
deqb [definition, in VQCS.Nunit]
deqb_dplus_cancel_r [lemma, in VQCS.Nunit]
deqb_dplus_cancel_l [lemma, in VQCS.Nunit]
deqb_comm [lemma, in VQCS.Nunit]
deqb_refl [lemma, in VQCS.Nunit]
deqb_reflect [lemma, in VQCS.Nunit]
deqb_false_iff [lemma, in VQCS.Nunit]
deqb_true_iff [lemma, in VQCS.Nunit]
deq_iff [lemma, in VQCS.Nunit]
deq_dec [lemma, in VQCS.Nunit]
diff [definition, in VQCS.Nunit]
dimFromDims [definition, in VQCS.Nunit]
Dims [definition, in VQCS.Nunit]
dmakeByBU [definition, in VQCS.Nunit]
dmap [definition, in VQCS.Nunit]
dmap2 [definition, in VQCS.Nunit]
dmap2_cancel_r [lemma, in VQCS.Nunit]
dmap2_cancel_l [lemma, in VQCS.Nunit]
dmap2_inv_r [lemma, in VQCS.Nunit]
dmap2_inv_l [lemma, in VQCS.Nunit]
dmap2_0_r [lemma, in VQCS.Nunit]
dmap2_0_l [lemma, in VQCS.Nunit]
dmap2_assoc [lemma, in VQCS.Nunit]
dmap2_comm [lemma, in VQCS.Nunit]
dneq_iff [lemma, in VQCS.Nunit]
dopp [definition, in VQCS.Nunit]
dplus [definition, in VQCS.Nunit]
dplus_dopp_r [lemma, in VQCS.Nunit]
dplus_dopp_l [lemma, in VQCS.Nunit]
dplus_cancel_r [lemma, in VQCS.Nunit]
dplus_cancel_l [lemma, in VQCS.Nunit]
dplus_0_r [lemma, in VQCS.Nunit]
dplus_0_l [lemma, in VQCS.Nunit]
dplus_assoc [lemma, in VQCS.Nunit]
dplus_comm [lemma, in VQCS.Nunit]
dscal [definition, in VQCS.Nunit]
dscal_ddiv [lemma, in VQCS.Nunit]
dscal_0_l [lemma, in VQCS.Nunit]
dsub [definition, in VQCS.Nunit]
dzero [definition, in VQCS.Nunit]
D_p [definition, in VQCS.test_PropulsionSystem.Basic]
E
ex_QuR.Unnamed_thm14 [definition, in VQCS.QalgebraR]ex_QuR.Unnamed_thm13 [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm12 [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm11 [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm10 [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm9 [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm8 [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm7 [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm6 [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm5 [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm4 [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm3 [definition, in VQCS.QalgebraR]
ex_QuR.fill_time_min [definition, in VQCS.QalgebraR]
ex_QuR.fill_time_s [definition, in VQCS.QalgebraR]
ex_QuR.ex2.V [variable, in VQCS.QalgebraR]
ex_QuR.ex2.f2 [variable, in VQCS.QalgebraR]
ex_QuR.ex2.f1 [variable, in VQCS.QalgebraR]
ex_QuR.ex2 [section, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm2 [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm1 [definition, in VQCS.QalgebraR]
ex_QuR.s1_s [definition, in VQCS.QalgebraR]
ex_QuR.v1_m_per_s [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm0 [definition, in VQCS.QalgebraR]
ex_QuR.Unnamed_thm [definition, in VQCS.QalgebraR]
ex_QuR.ex1.s2 [variable, in VQCS.QalgebraR]
ex_QuR.ex1.s1 [variable, in VQCS.QalgebraR]
ex_QuR.ex1.v2 [variable, in VQCS.QalgebraR]
ex_QuR.ex1.v1 [variable, in VQCS.QalgebraR]
ex_QuR.ex1.t2 [variable, in VQCS.QalgebraR]
ex_QuR.ex1.t1 [variable, in VQCS.QalgebraR]
ex_QuR.ex1.g [variable, in VQCS.QalgebraR]
ex_QuR.ex1 [section, in VQCS.QalgebraR]
ex_QuR [module, in VQCS.QalgebraR]
'厘米 [notation, in VQCS.Quantity]
ex_vector.displacement.p1 [variable, in VQCS.Quantity]
ex_vector.displacement.pz [variable, in VQCS.Quantity]
ex_vector.displacement.py [variable, in VQCS.Quantity]
ex_vector.displacement.px [variable, in VQCS.Quantity]
ex_vector.displacement [section, in VQCS.Quantity]
ex_vector [section, in VQCS.Quantity]
ex_salar.time.t2 [variable, in VQCS.Quantity]
ex_salar.time.t1 [variable, in VQCS.Quantity]
ex_salar.time [section, in VQCS.Quantity]
ex_salar [section, in VQCS.Quantity]
G
G [definition, in VQCS.test_PropulsionSystem.Basic]get_N_by_M [definition, in VQCS.test_PropulsionSystem.Basic]
get_N_by_T [definition, in VQCS.test_PropulsionSystem.Basic]
get_eta_by_M_and_N_and_I_b [definition, in VQCS.test_PropulsionSystem.Basic]
get_theta_max_by_T [definition, in VQCS.test_PropulsionSystem.Basic]
get_G_maxload_by_T [definition, in VQCS.test_PropulsionSystem.Basic]
get_T_b_by_I_b [definition, in VQCS.test_PropulsionSystem.Basic]
get_U_e_by_I_b [definition, in VQCS.test_PropulsionSystem.Basic]
get_I_b_by_I_e [definition, in VQCS.test_PropulsionSystem.Basic]
get_I_e_by_sigma_e_and_I_m [definition, in VQCS.test_PropulsionSystem.Basic]
get_U_eo_by_sigma_e [definition, in VQCS.test_PropulsionSystem.Basic]
get_U_eo_by_U_m_and_I_m [definition, in VQCS.test_PropulsionSystem.Basic]
get_U_m_by_E_a_and_I_m [definition, in VQCS.test_PropulsionSystem.Basic]
get_M_by_I_m [definition, in VQCS.test_PropulsionSystem.Basic]
get_E_a_by_N [definition, in VQCS.test_PropulsionSystem.Basic]
get_M_by_N [definition, in VQCS.test_PropulsionSystem.Basic]
get_T_by_N_unit [lemma, in VQCS.test_PropulsionSystem.Basic]
get_T_by_N [definition, in VQCS.test_PropulsionSystem.Basic]
gt0_val_K_V0 [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_U_m0 [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_C_b_minus_C_min [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_U_b [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_alpha_ab [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_R_e [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_R_m [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_R_b [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_C_M [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_C_T [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_C_fd [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_e [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_zeta [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_lambda [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_epsilon [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_K0 [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_A [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_B_p [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_D_p [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_G [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_n_r [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_T_t [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_rho_0 [axiom, in VQCS.test_PropulsionSystem.Basic]
gt0_val_p_0 [axiom, in VQCS.test_PropulsionSystem.Basic]
G_e [definition, in VQCS.test_PropulsionSystem.Basic]
G_m [definition, in VQCS.test_PropulsionSystem.Basic]
H
h [definition, in VQCS.test_PropulsionSystem.Basic]H_p [definition, in VQCS.test_PropulsionSystem.Basic]
I
I_eMax [definition, in VQCS.test_PropulsionSystem.Basic]I_m0 [definition, in VQCS.test_PropulsionSystem.Basic]
I_mMax [definition, in VQCS.test_PropulsionSystem.Basic]
I_other [definition, in VQCS.test_PropulsionSystem.Basic]
K
K_b [definition, in VQCS.test_PropulsionSystem.Basic]K_T [definition, in VQCS.test_PropulsionSystem.Basic]
K_E [definition, in VQCS.test_PropulsionSystem.Basic]
L
large_number_ex1 [lemma, in VQCS.SI]l2v [abbreviation, in VQCS.Quantity]
M
more_ARmul [section, in VQCS.Quantity]N
nat2bu [definition, in VQCS.Unit]nat2bu_bu2nat_id [lemma, in VQCS.Unit]
nat2bu_inv [lemma, in VQCS.Unit]
nat2bu_None [lemma, in VQCS.Unit]
nat2bu_Some [lemma, in VQCS.Unit]
nat2bu_validCond [definition, in VQCS.Unit]
ncoef [definition, in VQCS.Nunit]
ncoef_u2n [lemma, in VQCS.Nunit]
nconv [definition, in VQCS.Nconv]
Nconv [library]
nconvRate [definition, in VQCS.Nconv]
nconvRate_eq [lemma, in VQCS.Nconv]
ncvtble [definition, in VQCS.Nconv]
ncvtbleb [definition, in VQCS.Nconv]
ncvtbleb_reflect [lemma, in VQCS.Nconv]
ncvtbleb_false_iff [lemma, in VQCS.Nconv]
ncvtbleb_true_iff [lemma, in VQCS.Nconv]
ncvtbleb_refl [lemma, in VQCS.Nconv]
ncvtble_equiv [instance, in VQCS.Nconv]
ncvtble_trans [lemma, in VQCS.Nconv]
ncvtble_sym [lemma, in VQCS.Nconv]
ncvtble_refl [lemma, in VQCS.Nconv]
ndimb1b_true_iff [lemma, in VQCS.Nunit]
ndims [definition, in VQCS.Nunit]
ndims_u2n [lemma, in VQCS.Nunit]
ndim1b [definition, in VQCS.Nunit]
ndiv [definition, in VQCS.Nunit]
neqb [definition, in VQCS.Nunit]
neqb_comm [lemma, in VQCS.Nunit]
neqb_reflect [lemma, in VQCS.Nunit]
neqb_false_iff [lemma, in VQCS.Nunit]
neqb_true_iff [lemma, in VQCS.Nunit]
neqb_refl [lemma, in VQCS.Nunit]
neq_dec [lemma, in VQCS.Nunit]
neq_iff [lemma, in VQCS.Nunit]
ninv [definition, in VQCS.Nunit]
nmul [definition, in VQCS.Nunit]
nmul_ninv_r [lemma, in VQCS.Nunit]
nmul_ninv_l [lemma, in VQCS.Nunit]
nmul_1_r [lemma, in VQCS.Nunit]
nmul_1_l [lemma, in VQCS.Nunit]
nmul_assoc [lemma, in VQCS.Nunit]
nmul_comm [lemma, in VQCS.Nunit]
nneq_iff [lemma, in VQCS.Nunit]
npow [definition, in VQCS.Nunit]
npow_nroot2 [lemma, in VQCS.Nunit]
npow_nroot [lemma, in VQCS.Nunit]
npow2_eq_nmul [lemma, in VQCS.Nunit]
nroot [definition, in VQCS.Nunit]
nrootCond [definition, in VQCS.Nunit]
nrootCondb [definition, in VQCS.Nunit]
nroot_npow [lemma, in VQCS.Nunit]
nroot2_nmul [lemma, in VQCS.Nunit]
Nunit [definition, in VQCS.Nunit]
Nunit [library]
nunitOne [definition, in VQCS.Nunit]
n_r [definition, in VQCS.test_PropulsionSystem.Basic]
n2u [definition, in VQCS.Nunit]
n2u_coef1_unormed [lemma, in VQCS.Nunit]
n2u_neq_iff [lemma, in VQCS.Nunit]
n2u_eq_iff [lemma, in VQCS.Nunit]
n2u_eq_imply_dims_eq [lemma, in VQCS.Nunit]
n2u_eq_imply_coef_eq [lemma, in VQCS.Nunit]
P
p [definition, in VQCS.test_PropulsionSystem.Basic]pair_dec7 [lemma, in VQCS.Utils]
pair_dec6 [lemma, in VQCS.Utils]
pair_dec5 [lemma, in VQCS.Utils]
pair_dec4 [lemma, in VQCS.Utils]
pair_dec3 [lemma, in VQCS.Utils]
pair_dec2 [lemma, in VQCS.Utils]
pair_dec.b7 [variable, in VQCS.Utils]
pair_dec.a7 [variable, in VQCS.Utils]
pair_dec.b6 [variable, in VQCS.Utils]
pair_dec.a6 [variable, in VQCS.Utils]
pair_dec.b5 [variable, in VQCS.Utils]
pair_dec.a5 [variable, in VQCS.Utils]
pair_dec.b4 [variable, in VQCS.Utils]
pair_dec.a4 [variable, in VQCS.Utils]
pair_dec.b3 [variable, in VQCS.Utils]
pair_dec.a3 [variable, in VQCS.Utils]
pair_dec.b2 [variable, in VQCS.Utils]
pair_dec.a2 [variable, in VQCS.Utils]
pair_dec.b1 [variable, in VQCS.Utils]
pair_dec.a1 [variable, in VQCS.Utils]
pair_dec [section, in VQCS.Utils]
pair_neq7 [lemma, in VQCS.Utils]
pair_neq6 [lemma, in VQCS.Utils]
pair_neq5 [lemma, in VQCS.Utils]
pair_neq4 [lemma, in VQCS.Utils]
pair_neq3 [lemma, in VQCS.Utils]
pair_neq2 [lemma, in VQCS.Utils]
pair_neq.b7 [variable, in VQCS.Utils]
pair_neq.a7 [variable, in VQCS.Utils]
pair_neq.b6 [variable, in VQCS.Utils]
pair_neq.a6 [variable, in VQCS.Utils]
pair_neq.b5 [variable, in VQCS.Utils]
pair_neq.a5 [variable, in VQCS.Utils]
pair_neq.b4 [variable, in VQCS.Utils]
pair_neq.a4 [variable, in VQCS.Utils]
pair_neq.b3 [variable, in VQCS.Utils]
pair_neq.a3 [variable, in VQCS.Utils]
pair_neq.b2 [variable, in VQCS.Utils]
pair_neq.a2 [variable, in VQCS.Utils]
pair_neq.b1 [variable, in VQCS.Utils]
pair_neq.a1 [variable, in VQCS.Utils]
pair_neq [section, in VQCS.Utils]
pair_eq7 [lemma, in VQCS.Utils]
pair_eq6 [lemma, in VQCS.Utils]
pair_eq5 [lemma, in VQCS.Utils]
pair_eq4 [lemma, in VQCS.Utils]
pair_eq3 [lemma, in VQCS.Utils]
pair_eq2 [lemma, in VQCS.Utils]
pair_eq.b7 [variable, in VQCS.Utils]
pair_eq.a7 [variable, in VQCS.Utils]
pair_eq.b6 [variable, in VQCS.Utils]
pair_eq.a6 [variable, in VQCS.Utils]
pair_eq.b5 [variable, in VQCS.Utils]
pair_eq.a5 [variable, in VQCS.Utils]
pair_eq.b4 [variable, in VQCS.Utils]
pair_eq.a4 [variable, in VQCS.Utils]
pair_eq.b3 [variable, in VQCS.Utils]
pair_eq.a3 [variable, in VQCS.Utils]
pair_eq.b2 [variable, in VQCS.Utils]
pair_eq.a2 [variable, in VQCS.Utils]
pair_eq.b1 [variable, in VQCS.Utils]
pair_eq.a1 [variable, in VQCS.Utils]
pair_eq [section, in VQCS.Utils]
p_0 [definition, in VQCS.test_PropulsionSystem.Basic]
Q
qabs [definition, in VQCS.QalgebraR]qacos [definition, in VQCS.QalgebraR]
qadd [definition, in VQCS.Qalgebra]
qaddl [definition, in VQCS.Qalgebra]
qaddlR [definition, in VQCS.QalgebraR]
qaddlRV [definition, in VQCS.QalgebraRV]
qaddr [definition, in VQCS.Qalgebra]
qaddR [definition, in VQCS.QalgebraR]
qaddrR [definition, in VQCS.QalgebraR]
qaddrRV [definition, in VQCS.QalgebraRV]
qaddRV [definition, in VQCS.QalgebraRV]
qadd_qinvalid_r [lemma, in VQCS.Qalgebra]
qadd_qinvalid_l [lemma, in VQCS.Qalgebra]
qadd_comm [lemma, in VQCS.Qalgebra]
qadd_assoc [lemma, in VQCS.Qalgebra]
_ -' _ (Quantity_scope) [notation, in VQCS.Qalgebra]
_ '- _ (Quantity_scope) [notation, in VQCS.Qalgebra]
_ - _ (Quantity_scope) [notation, in VQCS.Qalgebra]
- _ (Quantity_scope) [notation, in VQCS.Qalgebra]
_ +' _ (Quantity_scope) [notation, in VQCS.Qalgebra]
_ '+ _ (Quantity_scope) [notation, in VQCS.Qalgebra]
_ + _ (Quantity_scope) [notation, in VQCS.Qalgebra]
qadd_qopp_qsub [section, in VQCS.Qalgebra]
Qalgebra [library]
QalgebraR [library]
QalgebraRV [library]
qasin [definition, in VQCS.QalgebraR]
qatan [definition, in VQCS.QalgebraR]
qcmpb [definition, in VQCS.Quantity]
qcoef [definition, in VQCS.Quantity]
qcos [definition, in VQCS.QalgebraR]
qcrossRV3 [definition, in VQCS.QalgebraRV]
qcvtble [definition, in VQCS.Quantity]
qcvtbleb [definition, in VQCS.Quantity]
qcvtblebR [definition, in VQCS.QalgebraR]
qcvtbleR [definition, in VQCS.QalgebraR]
qcvtbleRV [definition, in VQCS.QalgebraRV]
qdims [definition, in VQCS.Quantity]
qdim0op1 [definition, in VQCS.Qalgebra]
qdim0op2 [definition, in VQCS.Qalgebra]
qdiv [definition, in VQCS.Qalgebra]
qdivR [definition, in VQCS.QalgebraR]
qdotRV [definition, in VQCS.QalgebraRV]
qeqbR [definition, in VQCS.QalgebraR]
qeqbR_comm [lemma, in VQCS.QalgebraR]
qeqbR_true_refl [lemma, in VQCS.QalgebraR]
qeq_if_qval_qcof_qdims [lemma, in VQCS.Quantity]
qinv [abbreviation, in VQCS.Qalgebra]
qinv [abbreviation, in VQCS.Qalgebra]
qinv [definition, in VQCS.Qalgebra]
qinv [section, in VQCS.Qalgebra]
Qinvalid [constructor, in VQCS.Quantity]
qinvR [definition, in VQCS.QalgebraR]
/ _ (Quantity_scope) [notation, in VQCS.Qalgebra]
qlebR [definition, in VQCS.QalgebraR]
qltbR [definition, in VQCS.QalgebraR]
Qmake [constructor, in VQCS.Quantity]
qmul [abbreviation, in VQCS.Qalgebra]
qmul [definition, in VQCS.Qalgebra]
qmulR [definition, in VQCS.QalgebraR]
qmul_Group [instance, in VQCS.Qalgebra]
qmul_qinv_l [lemma, in VQCS.Qalgebra]
qmul_AMonoid [instance, in VQCS.Qalgebra]
qmul_Monoid [instance, in VQCS.Qalgebra]
qmul_1_r [lemma, in VQCS.Qalgebra]
qmul_1_l [lemma, in VQCS.Qalgebra]
qmul_comm [lemma, in VQCS.Qalgebra]
qmul_assoc [lemma, in VQCS.Qalgebra]
_ * _ (Quantity_scope) [notation, in VQCS.Qalgebra]
qmul_specific [section, in VQCS.Qalgebra]
qmul_cancel_r [lemma, in VQCS.Qalgebra]
qmul_cancel_l [lemma, in VQCS.Qalgebra]
_ / _ (Quantity_scope) [notation, in VQCS.Qalgebra]
_ ⁵ (Quantity_scope) [notation, in VQCS.Qalgebra]
_ ⁴ (Quantity_scope) [notation, in VQCS.Qalgebra]
_ ³ (Quantity_scope) [notation, in VQCS.Qalgebra]
_ ² (Quantity_scope) [notation, in VQCS.Qalgebra]
_ ^ _ (Quantity_scope) [notation, in VQCS.Qalgebra]
qmul_qdiv.qpow [section, in VQCS.Qalgebra]
_ * _ (Quantity_scope) [notation, in VQCS.Qalgebra]
_ * _ (A_scope) [notation, in VQCS.Qalgebra]
qmul_qdiv [section, in VQCS.Qalgebra]
qnthRV [definition, in VQCS.QalgebraRV]
qone [abbreviation, in VQCS.Qalgebra]
qone [definition, in VQCS.Quantity]
qoneR [definition, in VQCS.QalgebraR]
qopp [definition, in VQCS.Qalgebra]
qoppR [definition, in VQCS.QalgebraR]
qoppRV [definition, in VQCS.QalgebraRV]
qop1 [definition, in VQCS.Qalgebra]
qop2 [definition, in VQCS.Qalgebra]
qop2l [definition, in VQCS.Qalgebra]
qop2r [definition, in VQCS.Qalgebra]
qpow [definition, in VQCS.Qalgebra]
qpower [definition, in VQCS.QalgebraR]
qpowR [definition, in VQCS.QalgebraR]
qrootCondbR [definition, in VQCS.QalgebraR]
qrootCondR [definition, in VQCS.QalgebraR]
qrootR [definition, in VQCS.QalgebraR]
qrootR_qsqr [lemma, in VQCS.QalgebraR]
qsameu [definition, in VQCS.Quantity]
qsameub [definition, in VQCS.Quantity]
qsameub_q2qu [lemma, in VQCS.Quantity]
qsameub_false_iff [lemma, in VQCS.Quantity]
qsameub_true_iff [lemma, in VQCS.Quantity]
qsameub_reflect [lemma, in VQCS.Quantity]
qsameu_q2qu [lemma, in VQCS.Quantity]
qscalRV [definition, in VQCS.QalgebraRV]
qsin [definition, in VQCS.QalgebraR]
qsqrt [definition, in VQCS.QalgebraR]
qsqr_qrootR [lemma, in VQCS.QalgebraR]
qsub [definition, in VQCS.Qalgebra]
qsubl [definition, in VQCS.Qalgebra]
qsublR [definition, in VQCS.QalgebraR]
qsublRV [definition, in VQCS.QalgebraRV]
qsubr [definition, in VQCS.Qalgebra]
qsubR [definition, in VQCS.QalgebraR]
qsubrR [definition, in VQCS.QalgebraR]
qsubrRV [definition, in VQCS.QalgebraRV]
qsubRV [definition, in VQCS.QalgebraRV]
qtan [definition, in VQCS.QalgebraR]
Quantity [inductive, in VQCS.Quantity]
Quantity [library]
Quantity_sind [definition, in VQCS.Quantity]
Quantity_rec [definition, in VQCS.Quantity]
Quantity_ind [definition, in VQCS.Quantity]
Quantity_rect [definition, in VQCS.Quantity]
qunit [definition, in VQCS.Quantity]
QuR [definition, in VQCS.QalgebraR]
QuRV [definition, in VQCS.QalgebraRV]
qval [definition, in VQCS.Quantity]
qvaln [definition, in VQCS.Quantity]
qvalu [abbreviation, in VQCS.Quantity]
qvalu [abbreviation, in VQCS.Quantity]
qvalu [definition, in VQCS.Quantity]
q2q [definition, in VQCS.Quantity]
q2qn [definition, in VQCS.Quantity]
q2qnR [definition, in VQCS.QalgebraR]
q2qnRV [definition, in VQCS.QalgebraRV]
q2qR [definition, in VQCS.QalgebraR]
q2qRV [definition, in VQCS.QalgebraRV]
q2qu [abbreviation, in VQCS.Quantity]
q2qu [abbreviation, in VQCS.Quantity]
q2qu [definition, in VQCS.Quantity]
q2quR [definition, in VQCS.QalgebraR]
q2quRV [definition, in VQCS.QalgebraRV]
R
rho [definition, in VQCS.test_PropulsionSystem.Basic]rho_0 [definition, in VQCS.test_PropulsionSystem.Basic]
R_b [definition, in VQCS.test_PropulsionSystem.Basic]
R_e [definition, in VQCS.test_PropulsionSystem.Basic]
R_m [definition, in VQCS.test_PropulsionSystem.Basic]
r2q [definition, in VQCS.QalgebraR]
S
SI [library]SI_Constants_spec.cd_def3 [lemma, in VQCS.SI]
SI_Constants_spec.cd_def2 [lemma, in VQCS.SI]
SI_Constants_spec.cd_def1 [lemma, in VQCS.SI]
SI_Constants_spec.mol_def [lemma, in VQCS.SI]
SI_Constants_spec.kelvin_def3 [lemma, in VQCS.SI]
SI_Constants_spec.kelvin_def2 [lemma, in VQCS.SI]
SI_Constants_spec.kelvin_def1 [lemma, in VQCS.SI]
SI_Constants_spec.A_def3 [lemma, in VQCS.SI]
SI_Constants_spec.A_def2 [lemma, in VQCS.SI]
SI_Constants_spec.A_def1 [lemma, in VQCS.SI]
SI_Constants_spec.kg_def3 [lemma, in VQCS.SI]
SI_Constants_spec.kg_def2 [lemma, in VQCS.SI]
SI_Constants_spec.kg_def1 [lemma, in VQCS.SI]
SI_Constants_spec.m_def3 [lemma, in VQCS.SI]
SI_Constants_spec.m_def2 [lemma, in VQCS.SI]
SI_Constants_spec.m_def1 [lemma, in VQCS.SI]
SI_Constants_spec.s_def [lemma, in VQCS.SI]
SI_Constants_spec.Hz_def [lemma, in VQCS.SI]
SI_Constants_spec [module, in VQCS.SI]
'Kcd (SI_scope) [notation, in VQCS.SI]
SI_Constants.luminous_efficacy [definition, in VQCS.SI]
'NA (SI_scope) [notation, in VQCS.SI]
SI_Constants.avogadro_constant [definition, in VQCS.SI]
'k (SI_scope) [notation, in VQCS.SI]
SI_Constants.boltzmann_constant [definition, in VQCS.SI]
'e (SI_scope) [notation, in VQCS.SI]
SI_Constants.elementary_charge [definition, in VQCS.SI]
'h (SI_scope) [notation, in VQCS.SI]
SI_Constants.planck_constant [definition, in VQCS.SI]
'c (SI_scope) [notation, in VQCS.SI]
SI_Constants.speed_of_light_in_vaccum [definition, in VQCS.SI]
'ΔV (SI_scope) [notation, in VQCS.SI]
SI_Constants.hyper_trans_freq_of_Cs [definition, in VQCS.SI]
SI_Constants [module, in VQCS.SI]
'mAh (SI_scope) [notation, in VQCS.SI]
SI_Accepted.milli_amper_hour [definition, in VQCS.SI]
SI_Accepted.N_m_A_V_rpm [definition, in VQCS.SI]
'rpm (SI_scope) [notation, in VQCS.SI]
SI_Accepted.round_per_minute [definition, in VQCS.SI]
'eV (SI_scope) [notation, in VQCS.SI]
SI_Accepted.electronvolt [definition, in VQCS.SI]
'Da (SI_scope) [notation, in VQCS.SI]
SI_Accepted.dalton [definition, in VQCS.SI]
't (SI_scope) [notation, in VQCS.SI]
SI_Accepted.tonne [definition, in VQCS.SI]
'L (SI_scope) [notation, in VQCS.SI]
SI_Accepted.litre [definition, in VQCS.SI]
'ha (SI_scope) [notation, in VQCS.SI]
SI_Accepted.hectare [definition, in VQCS.SI]
'ᵒ (SI_scope) [notation, in VQCS.SI]
SI_Accepted.degree_angle [definition, in VQCS.SI]
'au (SI_scope) [notation, in VQCS.SI]
SI_Accepted.astronomicalUnit [definition, in VQCS.SI]
SI_Accepted.day2minute [lemma, in VQCS.SI]
SI_Accepted.day2second [lemma, in VQCS.SI]
'd (SI_scope) [notation, in VQCS.SI]
SI_Accepted.day [definition, in VQCS.SI]
SI_Accepted.hour2second [lemma, in VQCS.SI]
'hrs (SI_scope) [notation, in VQCS.SI]
SI_Accepted.hour [definition, in VQCS.SI]
'min (SI_scope) [notation, in VQCS.SI]
SI_Accepted.minute [definition, in VQCS.SI]
'mA (SI_scope) [notation, in VQCS.SI]
SI_Accepted.milliampere [definition, in VQCS.SI]
'g (SI_scope) [notation, in VQCS.SI]
SI_Accepted.gram [definition, in VQCS.SI]
'mm (SI_scope) [notation, in VQCS.SI]
SI_Accepted.millimetre [definition, in VQCS.SI]
'km (SI_scope) [notation, in VQCS.SI]
SI_Accepted.killometre [definition, in VQCS.SI]
SI_Accepted.second_millisecond [lemma, in VQCS.SI]
'ms (SI_scope) [notation, in VQCS.SI]
SI_Accepted.millisecond [definition, in VQCS.SI]
SI_Accepted [module, in VQCS.SI]
'kat (SI_scope) [notation, in VQCS.SI]
SI_Derived.katal [definition, in VQCS.SI]
SI_Derived.sievert_spec [lemma, in VQCS.SI]
'Sv (SI_scope) [notation, in VQCS.SI]
SI_Derived.sievert [definition, in VQCS.SI]
SI_Derived.gray_spec [lemma, in VQCS.SI]
'Gy (SI_scope) [notation, in VQCS.SI]
SI_Derived.gray [definition, in VQCS.SI]
'Bq (SI_scope) [notation, in VQCS.SI]
SI_Derived.becquerel [definition, in VQCS.SI]
SI_Derived.lux_spec [lemma, in VQCS.SI]
'lx (SI_scope) [notation, in VQCS.SI]
SI_Derived.lux [definition, in VQCS.SI]
'lm (SI_scope) [notation, in VQCS.SI]
SI_Derived.lumen [definition, in VQCS.SI]
SI_Derived.henry_spec [lemma, in VQCS.SI]
'H (SI_scope) [notation, in VQCS.SI]
SI_Derived.henry [definition, in VQCS.SI]
SI_Derived.tesla_spec [lemma, in VQCS.SI]
'T (SI_scope) [notation, in VQCS.SI]
SI_Derived.tesla [definition, in VQCS.SI]
SI_Derived.weber_spec [lemma, in VQCS.SI]
'Wb (SI_scope) [notation, in VQCS.SI]
SI_Derived.weber [definition, in VQCS.SI]
SI_Derived.siemens_spec [lemma, in VQCS.SI]
'S (SI_scope) [notation, in VQCS.SI]
SI_Derived.siemens [definition, in VQCS.SI]
SI_Derived.ohm_spec [lemma, in VQCS.SI]
'Ω (SI_scope) [notation, in VQCS.SI]
SI_Derived.ohm [definition, in VQCS.SI]
SI_Derived.farad_spec [lemma, in VQCS.SI]
'F (SI_scope) [notation, in VQCS.SI]
SI_Derived.farad [definition, in VQCS.SI]
SI_Derived.N_m_A_V_s [definition, in VQCS.SI]
SI_Derived.volt_spec [lemma, in VQCS.SI]
'V (SI_scope) [notation, in VQCS.SI]
SI_Derived.volt [definition, in VQCS.SI]
'C (SI_scope) [notation, in VQCS.SI]
SI_Derived.coulomb [definition, in VQCS.SI]
SI_Derived.power_spec [lemma, in VQCS.SI]
'W (SI_scope) [notation, in VQCS.SI]
SI_Derived.watt [definition, in VQCS.SI]
SI_Derived.pascal_spec2 [lemma, in VQCS.SI]
SI_Derived.joule_spec [lemma, in VQCS.SI]
'J (SI_scope) [notation, in VQCS.SI]
SI_Derived.joule [definition, in VQCS.SI]
SI_Derived.pascal_spec [lemma, in VQCS.SI]
'Pa (SI_scope) [notation, in VQCS.SI]
SI_Derived.pascal [definition, in VQCS.SI]
'N (SI_scope) [notation, in VQCS.SI]
SI_Derived.newton [definition, in VQCS.SI]
'Hza (SI_scope) [notation, in VQCS.SI]
SI_Derived.herza [definition, in VQCS.SI]
'Hz (SI_scope) [notation, in VQCS.SI]
SI_Derived.herz [definition, in VQCS.SI]
SI_Derived.steradian_spec [lemma, in VQCS.SI]
'sr (SI_scope) [notation, in VQCS.SI]
SI_Derived.steradian [definition, in VQCS.SI]
SI_Derived.radian_spec [lemma, in VQCS.SI]
'rad (SI_scope) [notation, in VQCS.SI]
SI_Derived.radian [definition, in VQCS.SI]
SI_Derived [module, in VQCS.SI]
'cd (SI_scope) [notation, in VQCS.SI]
SI_Basic.candela [definition, in VQCS.SI]
'mol (SI_scope) [notation, in VQCS.SI]
SI_Basic.mole [definition, in VQCS.SI]
'K (SI_scope) [notation, in VQCS.SI]
SI_Basic.kelvin [definition, in VQCS.SI]
'A (SI_scope) [notation, in VQCS.SI]
SI_Basic.ampere [definition, in VQCS.SI]
'kg (SI_scope) [notation, in VQCS.SI]
SI_Basic.killogram [definition, in VQCS.SI]
'm (SI_scope) [notation, in VQCS.SI]
SI_Basic.metre [definition, in VQCS.SI]
's (SI_scope) [notation, in VQCS.SI]
SI_Basic.second [definition, in VQCS.SI]
SI_Basic [module, in VQCS.SI]
_y _ (SI_scope) [notation, in VQCS.SI]
_z _ (SI_scope) [notation, in VQCS.SI]
_a _ (SI_scope) [notation, in VQCS.SI]
_f _ (SI_scope) [notation, in VQCS.SI]
_p _ (SI_scope) [notation, in VQCS.SI]
_n _ (SI_scope) [notation, in VQCS.SI]
_μ _ (SI_scope) [notation, in VQCS.SI]
_m _ (SI_scope) [notation, in VQCS.SI]
_c _ (SI_scope) [notation, in VQCS.SI]
_d _ (SI_scope) [notation, in VQCS.SI]
SI_Prefix.yocto [definition, in VQCS.SI]
SI_Prefix.zepto [definition, in VQCS.SI]
SI_Prefix.atto [definition, in VQCS.SI]
SI_Prefix.femto [definition, in VQCS.SI]
SI_Prefix.pico [definition, in VQCS.SI]
SI_Prefix.nano [definition, in VQCS.SI]
SI_Prefix.micro [definition, in VQCS.SI]
SI_Prefix.milli [definition, in VQCS.SI]
SI_Prefix.centi [definition, in VQCS.SI]
SI_Prefix.deci [definition, in VQCS.SI]
_Y _ (SI_scope) [notation, in VQCS.SI]
_Z _ (SI_scope) [notation, in VQCS.SI]
_E _ (SI_scope) [notation, in VQCS.SI]
_P _ (SI_scope) [notation, in VQCS.SI]
_T _ (SI_scope) [notation, in VQCS.SI]
_G _ (SI_scope) [notation, in VQCS.SI]
_M _ (SI_scope) [notation, in VQCS.SI]
_k _ (SI_scope) [notation, in VQCS.SI]
_h _ (SI_scope) [notation, in VQCS.SI]
_da _ (SI_scope) [notation, in VQCS.SI]
SI_Prefix.yotta [definition, in VQCS.SI]
SI_Prefix.zetta [definition, in VQCS.SI]
SI_Prefix.exa [definition, in VQCS.SI]
SI_Prefix.peta [definition, in VQCS.SI]
SI_Prefix.tera [definition, in VQCS.SI]
SI_Prefix.giga [definition, in VQCS.SI]
SI_Prefix.mega [definition, in VQCS.SI]
SI_Prefix.kilo [definition, in VQCS.SI]
SI_Prefix.hecto [definition, in VQCS.SI]
SI_Prefix.deca [definition, in VQCS.SI]
SI_Prefix [module, in VQCS.SI]
T
Temperature_TemperatureDifference.ex1 [lemma, in VQCS.SI]Temperature_TemperatureDifference.test [section, in VQCS.SI]
Temperature_TemperatureDifference.temperatureDiffFah_spec [lemma, in VQCS.SI]
_ 'Δ℉ (SI_scope) [notation, in VQCS.SI]
Temperature_TemperatureDifference.temperatureDiffFah [definition, in VQCS.SI]
Temperature_TemperatureDifference.temperatureDiffCel_spec [lemma, in VQCS.SI]
_ 'Δ℃ (SI_scope) [notation, in VQCS.SI]
Temperature_TemperatureDifference.temperatureDiffCel [definition, in VQCS.SI]
Temperature_TemperatureDifference.temperatureDiffKel_spec [lemma, in VQCS.SI]
_ 'ΔK (SI_scope) [notation, in VQCS.SI]
Temperature_TemperatureDifference.temperatureDiffKel [definition, in VQCS.SI]
Temperature_TemperatureDifference.temperatureFah_spec [lemma, in VQCS.SI]
'℉ (SI_scope) [notation, in VQCS.SI]
Temperature_TemperatureDifference.temperatureFah [definition, in VQCS.SI]
Temperature_TemperatureDifference.temperatureCel_spec [lemma, in VQCS.SI]
_ '℃ (SI_scope) [notation, in VQCS.SI]
Temperature_TemperatureDifference.temperatureCel [definition, in VQCS.SI]
Temperature_TemperatureDifference.deltaFah_spec [lemma, in VQCS.SI]
Temperature_TemperatureDifference.deltaCel_spec [lemma, in VQCS.SI]
Temperature_TemperatureDifference.deltaKel_spec [lemma, in VQCS.SI]
Temperature_TemperatureDifference.deltaFah [definition, in VQCS.SI]
Temperature_TemperatureDifference.deltaCel [definition, in VQCS.SI]
Temperature_TemperatureDifference.deltaKel [definition, in VQCS.SI]
Temperature_TemperatureDifference.fah2kelR_spec [lemma, in VQCS.SI]
Temperature_TemperatureDifference.kel2fahR_spec [lemma, in VQCS.SI]
Temperature_TemperatureDifference.kel2fahR_fah2kelR_id [lemma, in VQCS.SI]
Temperature_TemperatureDifference.fah2kelR_kel2fahR_id [lemma, in VQCS.SI]
Temperature_TemperatureDifference.cel2fahR_fah2celR_id [lemma, in VQCS.SI]
Temperature_TemperatureDifference.fah2celR_cel2fahR_id [lemma, in VQCS.SI]
Temperature_TemperatureDifference.cel2kelR_kel2celR_id [lemma, in VQCS.SI]
Temperature_TemperatureDifference.kel2celR_cel2kelR_id [lemma, in VQCS.SI]
Temperature_TemperatureDifference.fah2kelR [definition, in VQCS.SI]
Temperature_TemperatureDifference.kel2fahR [definition, in VQCS.SI]
Temperature_TemperatureDifference.fah2celR [definition, in VQCS.SI]
Temperature_TemperatureDifference.cel2fahR [definition, in VQCS.SI]
Temperature_TemperatureDifference.kel2celR [definition, in VQCS.SI]
Temperature_TemperatureDifference.cel2kelR [definition, in VQCS.SI]
Temperature_TemperatureDifference [module, in VQCS.SI]
test [section, in VQCS.QalgebraRV]
test [section, in VQCS.Unit]
test [section, in VQCS.Unit]
test [section, in VQCS.Unit]
test [section, in VQCS.Unit]
test [section, in VQCS.Unit]
test [section, in VQCS.QalgebraR]
test [section, in VQCS.test_PropulsionSystem.Basic]
test [section, in VQCS.Nconv]
test [section, in VQCS.Nunit]
test [section, in VQCS.Nunit]
test [section, in VQCS.Uconv]
test [section, in VQCS.SI]
test.ex1 [section, in VQCS.QalgebraRV]
test.ex1 [variable, in VQCS.Unit]
test.ex1 [section, in VQCS.SI]
test.ex1.bar [variable, in VQCS.SI]
test.ex1.killoPa [variable, in VQCS.SI]
test.ex1.Ru1 [variable, in VQCS.SI]
test.ex1.Ru2 [variable, in VQCS.SI]
test.ex1.Ru3 [variable, in VQCS.SI]
test.ex1.Ru4 [variable, in VQCS.SI]
test.ex1.Ru5 [variable, in VQCS.SI]
test.ex1.Ru6 [variable, in VQCS.SI]
test.ex1.s [variable, in VQCS.QalgebraRV]
test.ex1.t [variable, in VQCS.QalgebraRV]
test.ex1.v [variable, in VQCS.QalgebraRV]
'bar (SI_scope) [notation, in VQCS.SI]
test.ex2 [section, in VQCS.SI]
test.ex2.astronomical_unit [variable, in VQCS.SI]
test.ex2.julian_year [variable, in VQCS.SI]
test.ex2.light_year [variable, in VQCS.SI]
test.ex2.parsec [variable, in VQCS.SI]
'au [notation, in VQCS.SI]
test.E_a [variable, in VQCS.test_PropulsionSystem.Basic]
test.hour [variable, in VQCS.Unit]
test.I_m [variable, in VQCS.test_PropulsionSystem.Basic]
test.kg [variable, in VQCS.Unit]
test.kg [variable, in VQCS.Unit]
test.kg [variable, in VQCS.Nunit]
test.km [variable, in VQCS.Unit]
test.m [variable, in VQCS.Unit]
test.m [variable, in VQCS.Unit]
test.m [variable, in VQCS.Nunit]
test.m [variable, in VQCS.Nunit]
test.m3 [variable, in VQCS.Unit]
test.N [variable, in VQCS.Unit]
test.N' [variable, in VQCS.Unit]
test.rpm [variable, in VQCS.Unit]
test.s [variable, in VQCS.Unit]
test.s [variable, in VQCS.Unit]
test.s [variable, in VQCS.Nunit]
test.s [variable, in VQCS.Nunit]
test.u1 [variable, in VQCS.Nunit]
test.u2 [variable, in VQCS.Nunit]
T_b_ex.val_T_b_2 [definition, in VQCS.test_PropulsionSystem.Basic]
T_b_ex.val_T_b_1 [definition, in VQCS.test_PropulsionSystem.Basic]
T_b_ex [module, in VQCS.test_PropulsionSystem.Basic]
T_t [definition, in VQCS.test_PropulsionSystem.Basic]
T_0 [definition, in VQCS.test_PropulsionSystem.Basic]
U
Ubu [constructor, in VQCS.Unit]ucoef [definition, in VQCS.Unit]
ucoef_ucons [lemma, in VQCS.Unit]
ucoef_ugenByBU [lemma, in VQCS.Unit]
ucoef_ugenByBUNat [lemma, in VQCS.Unit]
ucoef_Umul [lemma, in VQCS.Unit]
ucoef_Uinv [lemma, in VQCS.Unit]
ucoef_Ubu [lemma, in VQCS.Unit]
ucoef_Unone [lemma, in VQCS.Unit]
ucoef_n2u [lemma, in VQCS.Nunit]
ucoef_upow [lemma, in VQCS.Nunit]
ucoef_upowNat [lemma, in VQCS.Nunit]
ucons [definition, in VQCS.Unit]
ucons_inj_Unit [lemma, in VQCS.Unit]
ucons_inj_BU [lemma, in VQCS.Unit]
ucons_inj_exp_ext [lemma, in VQCS.Unit]
ucons_inj_exp [lemma, in VQCS.Unit]
uconv [definition, in VQCS.Uconv]
Uconv [library]
uconvRate [definition, in VQCS.Uconv]
ucvtble [definition, in VQCS.Uconv]
ucvtbleb [definition, in VQCS.Uconv]
ucvtbleb_reflect [lemma, in VQCS.Uconv]
ucvtbleb_false_iff [lemma, in VQCS.Uconv]
ucvtbleb_true_iff [lemma, in VQCS.Uconv]
ucvtble_equiv [instance, in VQCS.Uconv]
ucvtble_trans [lemma, in VQCS.Uconv]
ucvtble_sym [lemma, in VQCS.Uconv]
ucvtble_refl [lemma, in VQCS.Uconv]
udim [definition, in VQCS.Unit]
udimb1b_true_iff [lemma, in VQCS.Nunit]
udims [definition, in VQCS.Nunit]
udims_n2u [lemma, in VQCS.Nunit]
udims_ucons [lemma, in VQCS.Nunit]
udims_upow [lemma, in VQCS.Nunit]
udims_Umul [lemma, in VQCS.Nunit]
udims_Ubu [lemma, in VQCS.Nunit]
udims_Unone [lemma, in VQCS.Nunit]
udims_eq_iffb [lemma, in VQCS.Nunit]
udims_eq_iffP [lemma, in VQCS.Nunit]
udims_spec [lemma, in VQCS.Nunit]
_ + _ [notation, in VQCS.Nunit]
udims_spec [section, in VQCS.Nunit]
udim_ucons [lemma, in VQCS.Unit]
udim_ucons_diff [lemma, in VQCS.Unit]
udim_ucons_same [lemma, in VQCS.Unit]
udim_ugenByBU_diff [lemma, in VQCS.Unit]
udim_ugenByBU_same [lemma, in VQCS.Unit]
udim_ugenByBUNat_diff [lemma, in VQCS.Unit]
udim_ugenByBUNat_same [lemma, in VQCS.Unit]
udim_upow [lemma, in VQCS.Unit]
udim_upowNat [lemma, in VQCS.Unit]
udim_Umul [lemma, in VQCS.Unit]
udim_Uinv [lemma, in VQCS.Unit]
udim_Ubu_diff [lemma, in VQCS.Unit]
udim_Ubu_same [lemma, in VQCS.Unit]
udim_Unone [lemma, in VQCS.Unit]
udim_n2u_ext [lemma, in VQCS.Nunit]
udim_n2u [lemma, in VQCS.Nunit]
udim_u2n [lemma, in VQCS.Nunit]
udim1b [definition, in VQCS.Nunit]
ueq [definition, in VQCS.Nunit]
ueqb [definition, in VQCS.Nunit]
ueqb_reflect [lemma, in VQCS.Nunit]
ueqb_false_iff [lemma, in VQCS.Nunit]
ueqb_true_iff [lemma, in VQCS.Nunit]
ueqb_comm [lemma, in VQCS.Nunit]
ueqb_true_refl [lemma, in VQCS.Nunit]
ueqb_ucons [lemma, in VQCS.Nunit]
ueq_equiv [instance, in VQCS.Nunit]
ueq_trans [lemma, in VQCS.Nunit]
ueq_sym [lemma, in VQCS.Nunit]
ueq_refl [lemma, in VQCS.Nunit]
ueq_iff_coef_dims [lemma, in VQCS.Nunit]
ueq_ucons [lemma, in VQCS.Nunit]
ueq_iff_ueqb [lemma, in VQCS.Nunit]
ugenByBU [definition, in VQCS.Unit]
ugenByBUNat [definition, in VQCS.Unit]
ugenByBUNat_PosToNat_eq_Uinv_contro [lemma, in VQCS.Unit]
ugenByBUNat_PosToNat_eq_Unone_contro [lemma, in VQCS.Unit]
ugenByBUNat_inj_BU [lemma, in VQCS.Unit]
ugenByBUNat_inj_exp [lemma, in VQCS.Unit]
ugenByBU_inj_BU [lemma, in VQCS.Unit]
ugenByBU_inj_exp [lemma, in VQCS.Unit]
Uinv [constructor, in VQCS.Unit]
Umul [constructor, in VQCS.Unit]
umul_eq_contro_r [lemma, in VQCS.Unit]
umul_eq_contro_l [lemma, in VQCS.Unit]
umul_cancel_r [lemma, in VQCS.Unit]
umul_cancel_l [lemma, in VQCS.Unit]
umul_inj [lemma, in VQCS.Unit]
Unit [inductive, in VQCS.Unit]
Unit [library]
Unit_sind [definition, in VQCS.Unit]
Unit_rec [definition, in VQCS.Unit]
Unit_ind [definition, in VQCS.Unit]
Unit_rect [definition, in VQCS.Unit]
unit_approxb [definition, in VQCS.Nunit]
unit_approx [definition, in VQCS.Nunit]
unit1 [definition, in VQCS.Nunit]
unit2 [definition, in VQCS.Nunit]
Unnamed_thm3 [definition, in VQCS.QalgebraRV]
Unnamed_thm2 [definition, in VQCS.QalgebraRV]
Unnamed_thm1 [definition, in VQCS.QalgebraRV]
Unnamed_thm0 [definition, in VQCS.QalgebraRV]
Unnamed_thm [definition, in VQCS.QalgebraRV]
Unnamed_thm0 [definition, in VQCS.Unit]
Unnamed_thm [definition, in VQCS.Unit]
Unnamed_thm [definition, in VQCS.Unit]
Unnamed_thm16 [definition, in VQCS.QalgebraR]
Unnamed_thm15 [definition, in VQCS.QalgebraR]
Unnamed_thm14 [definition, in VQCS.QalgebraR]
Unnamed_thm13 [definition, in VQCS.QalgebraR]
Unnamed_thm12 [definition, in VQCS.QalgebraR]
Unnamed_thm11 [definition, in VQCS.QalgebraR]
Unnamed_thm10 [definition, in VQCS.QalgebraR]
Unnamed_thm9 [definition, in VQCS.QalgebraR]
Unnamed_thm8 [definition, in VQCS.QalgebraR]
Unnamed_thm7 [definition, in VQCS.QalgebraR]
Unnamed_thm6 [definition, in VQCS.QalgebraR]
Unnamed_thm5 [definition, in VQCS.QalgebraR]
Unnamed_thm4 [definition, in VQCS.QalgebraR]
Unnamed_thm3 [definition, in VQCS.QalgebraR]
Unnamed_thm2 [definition, in VQCS.QalgebraR]
Unnamed_thm1 [definition, in VQCS.QalgebraR]
Unnamed_thm0 [definition, in VQCS.QalgebraR]
Unnamed_thm [definition, in VQCS.QalgebraR]
Unnamed_thm1 [definition, in VQCS.test_PropulsionSystem.Basic]
Unnamed_thm0 [definition, in VQCS.test_PropulsionSystem.Basic]
Unnamed_thm [definition, in VQCS.test_PropulsionSystem.Basic]
Unnamed_thm0 [definition, in VQCS.Nconv]
Unnamed_thm [definition, in VQCS.Nconv]
Unnamed_thm1 [definition, in VQCS.Nunit]
Unnamed_thm0 [definition, in VQCS.Nunit]
Unnamed_thm [definition, in VQCS.Nunit]
Unnamed_thm1 [definition, in VQCS.Quantity]
Unnamed_thm0 [definition, in VQCS.Quantity]
Unnamed_thm [definition, in VQCS.Quantity]
Unnamed_thm0 [definition, in VQCS.Uconv]
Unnamed_thm [definition, in VQCS.Uconv]
Unnamed_thm3 [definition, in VQCS.SI]
Unnamed_thm2 [definition, in VQCS.SI]
Unnamed_thm1 [definition, in VQCS.SI]
Unnamed_thm0 [definition, in VQCS.SI]
Unnamed_thm [definition, in VQCS.SI]
Unone [constructor, in VQCS.Unit]
unorm [definition, in VQCS.Nunit]
unormed [definition, in VQCS.Nunit]
unorm_unormed [lemma, in VQCS.Nunit]
unorm_involutive [lemma, in VQCS.Nunit]
unorm_sound [lemma, in VQCS.Nunit]
unorm_complete [lemma, in VQCS.Nunit]
upow [definition, in VQCS.Unit]
upowNat [definition, in VQCS.Unit]
Utils [library]
U_b [definition, in VQCS.test_PropulsionSystem.Basic]
U_m0 [definition, in VQCS.test_PropulsionSystem.Basic]
u2n [definition, in VQCS.Nunit]
u2n_n2u [lemma, in VQCS.Nunit]
u2n_upow_rw [lemma, in VQCS.Nunit]
u2n_Upow_wd [lemma, in VQCS.Nunit]
u2n_upowNat_wd [lemma, in VQCS.Nunit]
u2n_Uinv_wd [lemma, in VQCS.Nunit]
u2n_Uinv [lemma, in VQCS.Nunit]
u2n_Umult_wd [lemma, in VQCS.Nunit]
u2n_Umult_cancel_r [lemma, in VQCS.Nunit]
u2n_Umult_cancel_l [lemma, in VQCS.Nunit]
u2n_Umult [lemma, in VQCS.Nunit]
u2n_Ubu [lemma, in VQCS.Nunit]
u2n_Unone [lemma, in VQCS.Nunit]
u2q [definition, in VQCS.Quantity]
u2qR [definition, in VQCS.QalgebraR]
u2qRV [definition, in VQCS.QalgebraRV]
V
value_0_0065 [definition, in VQCS.test_PropulsionSystem.Basic]val_U_b [axiom, in VQCS.test_PropulsionSystem.Basic]
val_R_b [axiom, in VQCS.test_PropulsionSystem.Basic]
val_K_b [axiom, in VQCS.test_PropulsionSystem.Basic]
val_C_min [axiom, in VQCS.test_PropulsionSystem.Basic]
val_C_b [axiom, in VQCS.test_PropulsionSystem.Basic]
val_G_e [axiom, in VQCS.test_PropulsionSystem.Basic]
val_R_e [axiom, in VQCS.test_PropulsionSystem.Basic]
val_I_eMax [axiom, in VQCS.test_PropulsionSystem.Basic]
val_G_m [axiom, in VQCS.test_PropulsionSystem.Basic]
val_R_m [axiom, in VQCS.test_PropulsionSystem.Basic]
val_I_m0 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_U_m0 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_I_mMax [axiom, in VQCS.test_PropulsionSystem.Basic]
val_K_V0 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_C_M [axiom, in VQCS.test_PropulsionSystem.Basic]
val_C_d [axiom, in VQCS.test_PropulsionSystem.Basic]
val_C_T [axiom, in VQCS.test_PropulsionSystem.Basic]
val_PP_alpha_ab [definition, in VQCS.test_PropulsionSystem.Basic]
val_C_fd [axiom, in VQCS.test_PropulsionSystem.Basic]
val_PP_alpha0 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_PP_K0 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_PP_e [axiom, in VQCS.test_PropulsionSystem.Basic]
val_PP_zeta [axiom, in VQCS.test_PropulsionSystem.Basic]
val_PP_lambda [axiom, in VQCS.test_PropulsionSystem.Basic]
val_PP_epsilon [axiom, in VQCS.test_PropulsionSystem.Basic]
val_PP_A [axiom, in VQCS.test_PropulsionSystem.Basic]
val_G_p [axiom, in VQCS.test_PropulsionSystem.Basic]
val_B_p [axiom, in VQCS.test_PropulsionSystem.Basic]
val_H_p [axiom, in VQCS.test_PropulsionSystem.Basic]
val_D_p [axiom, in VQCS.test_PropulsionSystem.Basic]
val_rho [axiom, in VQCS.test_PropulsionSystem.Basic]
val_n_r [axiom, in VQCS.test_PropulsionSystem.Basic]
val_I_other [axiom, in VQCS.test_PropulsionSystem.Basic]
val_G [axiom, in VQCS.test_PropulsionSystem.Basic]
val_T_t [axiom, in VQCS.test_PropulsionSystem.Basic]
val_rho_0 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_p_0 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_h [axiom, in VQCS.test_PropulsionSystem.Basic]
val_T_0 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_0_06 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_9_55 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_0_25 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_0_8 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_5_2561 [axiom, in VQCS.test_PropulsionSystem.Basic]
val_0_0065 [axiom, in VQCS.test_PropulsionSystem.Basic]
vec2q [definition, in VQCS.QalgebraRV]
Z
Z [section, in VQCS.Utils]zdiv2_add [lemma, in VQCS.Utils]
zdiv2_mul2 [lemma, in VQCS.Utils]
zmul2_div2 [lemma, in VQCS.Utils]
z_mul_div [lemma, in VQCS.Utils]
z_div_mul_alt [lemma, in VQCS.Utils]
other
!! (Quantity_scope) [notation, in VQCS.Quantity]_ \x _ (QuRV_scope) [notation, in VQCS.QalgebraRV]
< _ , _ > (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ s* _ (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ .4 (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ .3 (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ .2 (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ .1 (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ .[ _ ] (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ -' _ (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ '- _ (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ - _ (QuRV_scope) [notation, in VQCS.QalgebraRV]
- _ (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ +' _ (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ '+ _ (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ + _ (QuRV_scope) [notation, in VQCS.QalgebraRV]
_ <=? _ (QuR_scope) [notation, in VQCS.QalgebraR]
_ <? _ (QuR_scope) [notation, in VQCS.QalgebraR]
_ =? _ (QuR_scope) [notation, in VQCS.QalgebraR]
'atan _ (QuR_scope) [notation, in VQCS.QalgebraR]
'acos _ (QuR_scope) [notation, in VQCS.QalgebraR]
'asin _ (QuR_scope) [notation, in VQCS.QalgebraR]
'tan _ (QuR_scope) [notation, in VQCS.QalgebraR]
'cos _ (QuR_scope) [notation, in VQCS.QalgebraR]
'sin _ (QuR_scope) [notation, in VQCS.QalgebraR]
_ / _ (QuR_scope) [notation, in VQCS.QalgebraR]
/ _ (QuR_scope) [notation, in VQCS.QalgebraR]
_ ⁵ (QuR_scope) [notation, in VQCS.QalgebraR]
_ ⁴ (QuR_scope) [notation, in VQCS.QalgebraR]
_ ³ (QuR_scope) [notation, in VQCS.QalgebraR]
_ ² (QuR_scope) [notation, in VQCS.QalgebraR]
_ ^ _ (QuR_scope) [notation, in VQCS.QalgebraR]
_ * _ (QuR_scope) [notation, in VQCS.QalgebraR]
_ -' _ (QuR_scope) [notation, in VQCS.QalgebraR]
_ '- _ (QuR_scope) [notation, in VQCS.QalgebraR]
_ - _ (QuR_scope) [notation, in VQCS.QalgebraR]
- _ (QuR_scope) [notation, in VQCS.QalgebraR]
_ +' _ (QuR_scope) [notation, in VQCS.QalgebraR]
_ '+ _ (QuR_scope) [notation, in VQCS.QalgebraR]
_ + _ (QuR_scope) [notation, in VQCS.QalgebraR]
_ ⁶ (Unit_scope) [notation, in VQCS.Unit]
_ ⁵ (Unit_scope) [notation, in VQCS.Unit]
_ ⁴ (Unit_scope) [notation, in VQCS.Unit]
_ ³ (Unit_scope) [notation, in VQCS.Unit]
_ ² (Unit_scope) [notation, in VQCS.Unit]
_ ^ _ (Unit_scope) [notation, in VQCS.Unit]
_ / _ (Unit_scope) [notation, in VQCS.Unit]
/ _ (Unit_scope) [notation, in VQCS.Unit]
_ * _ (Unit_scope) [notation, in VQCS.Unit]
&J (Unit_scope) [notation, in VQCS.Unit]
&N (Unit_scope) [notation, in VQCS.Unit]
&Q (Unit_scope) [notation, in VQCS.Unit]
&I (Unit_scope) [notation, in VQCS.Unit]
&M (Unit_scope) [notation, in VQCS.Unit]
&L (Unit_scope) [notation, in VQCS.Unit]
&T (Unit_scope) [notation, in VQCS.Unit]
_ == _ (Unit_scope) [notation, in VQCS.Nunit]
_ =? _ (Unit_scope) [notation, in VQCS.Nunit]
Notation Index
E
'厘米 [in VQCS.Quantity]Q
_ -' _ (Quantity_scope) [in VQCS.Qalgebra]_ '- _ (Quantity_scope) [in VQCS.Qalgebra]
_ - _ (Quantity_scope) [in VQCS.Qalgebra]
- _ (Quantity_scope) [in VQCS.Qalgebra]
_ +' _ (Quantity_scope) [in VQCS.Qalgebra]
_ '+ _ (Quantity_scope) [in VQCS.Qalgebra]
_ + _ (Quantity_scope) [in VQCS.Qalgebra]
/ _ (Quantity_scope) [in VQCS.Qalgebra]
_ * _ (Quantity_scope) [in VQCS.Qalgebra]
_ / _ (Quantity_scope) [in VQCS.Qalgebra]
_ ⁵ (Quantity_scope) [in VQCS.Qalgebra]
_ ⁴ (Quantity_scope) [in VQCS.Qalgebra]
_ ³ (Quantity_scope) [in VQCS.Qalgebra]
_ ² (Quantity_scope) [in VQCS.Qalgebra]
_ ^ _ (Quantity_scope) [in VQCS.Qalgebra]
_ * _ (Quantity_scope) [in VQCS.Qalgebra]
_ * _ (A_scope) [in VQCS.Qalgebra]
S
'Kcd (SI_scope) [in VQCS.SI]'NA (SI_scope) [in VQCS.SI]
'k (SI_scope) [in VQCS.SI]
'e (SI_scope) [in VQCS.SI]
'h (SI_scope) [in VQCS.SI]
'c (SI_scope) [in VQCS.SI]
'ΔV (SI_scope) [in VQCS.SI]
'mAh (SI_scope) [in VQCS.SI]
'rpm (SI_scope) [in VQCS.SI]
'eV (SI_scope) [in VQCS.SI]
'Da (SI_scope) [in VQCS.SI]
't (SI_scope) [in VQCS.SI]
'L (SI_scope) [in VQCS.SI]
'ha (SI_scope) [in VQCS.SI]
'ᵒ (SI_scope) [in VQCS.SI]
'au (SI_scope) [in VQCS.SI]
'd (SI_scope) [in VQCS.SI]
'hrs (SI_scope) [in VQCS.SI]
'min (SI_scope) [in VQCS.SI]
'mA (SI_scope) [in VQCS.SI]
'g (SI_scope) [in VQCS.SI]
'mm (SI_scope) [in VQCS.SI]
'km (SI_scope) [in VQCS.SI]
'ms (SI_scope) [in VQCS.SI]
'kat (SI_scope) [in VQCS.SI]
'Sv (SI_scope) [in VQCS.SI]
'Gy (SI_scope) [in VQCS.SI]
'Bq (SI_scope) [in VQCS.SI]
'lx (SI_scope) [in VQCS.SI]
'lm (SI_scope) [in VQCS.SI]
'H (SI_scope) [in VQCS.SI]
'T (SI_scope) [in VQCS.SI]
'Wb (SI_scope) [in VQCS.SI]
'S (SI_scope) [in VQCS.SI]
'Ω (SI_scope) [in VQCS.SI]
'F (SI_scope) [in VQCS.SI]
'V (SI_scope) [in VQCS.SI]
'C (SI_scope) [in VQCS.SI]
'W (SI_scope) [in VQCS.SI]
'J (SI_scope) [in VQCS.SI]
'Pa (SI_scope) [in VQCS.SI]
'N (SI_scope) [in VQCS.SI]
'Hza (SI_scope) [in VQCS.SI]
'Hz (SI_scope) [in VQCS.SI]
'sr (SI_scope) [in VQCS.SI]
'rad (SI_scope) [in VQCS.SI]
'cd (SI_scope) [in VQCS.SI]
'mol (SI_scope) [in VQCS.SI]
'K (SI_scope) [in VQCS.SI]
'A (SI_scope) [in VQCS.SI]
'kg (SI_scope) [in VQCS.SI]
'm (SI_scope) [in VQCS.SI]
's (SI_scope) [in VQCS.SI]
_y _ (SI_scope) [in VQCS.SI]
_z _ (SI_scope) [in VQCS.SI]
_a _ (SI_scope) [in VQCS.SI]
_f _ (SI_scope) [in VQCS.SI]
_p _ (SI_scope) [in VQCS.SI]
_n _ (SI_scope) [in VQCS.SI]
_μ _ (SI_scope) [in VQCS.SI]
_m _ (SI_scope) [in VQCS.SI]
_c _ (SI_scope) [in VQCS.SI]
_d _ (SI_scope) [in VQCS.SI]
_Y _ (SI_scope) [in VQCS.SI]
_Z _ (SI_scope) [in VQCS.SI]
_E _ (SI_scope) [in VQCS.SI]
_P _ (SI_scope) [in VQCS.SI]
_T _ (SI_scope) [in VQCS.SI]
_G _ (SI_scope) [in VQCS.SI]
_M _ (SI_scope) [in VQCS.SI]
_k _ (SI_scope) [in VQCS.SI]
_h _ (SI_scope) [in VQCS.SI]
_da _ (SI_scope) [in VQCS.SI]
T
_ 'Δ℉ (SI_scope) [in VQCS.SI]_ 'Δ℃ (SI_scope) [in VQCS.SI]
_ 'ΔK (SI_scope) [in VQCS.SI]
'℉ (SI_scope) [in VQCS.SI]
_ '℃ (SI_scope) [in VQCS.SI]
'bar (SI_scope) [in VQCS.SI]
'au [in VQCS.SI]
U
_ + _ [in VQCS.Nunit]other
!! (Quantity_scope) [in VQCS.Quantity]_ \x _ (QuRV_scope) [in VQCS.QalgebraRV]
< _ , _ > (QuRV_scope) [in VQCS.QalgebraRV]
_ s* _ (QuRV_scope) [in VQCS.QalgebraRV]
_ .4 (QuRV_scope) [in VQCS.QalgebraRV]
_ .3 (QuRV_scope) [in VQCS.QalgebraRV]
_ .2 (QuRV_scope) [in VQCS.QalgebraRV]
_ .1 (QuRV_scope) [in VQCS.QalgebraRV]
_ .[ _ ] (QuRV_scope) [in VQCS.QalgebraRV]
_ -' _ (QuRV_scope) [in VQCS.QalgebraRV]
_ '- _ (QuRV_scope) [in VQCS.QalgebraRV]
_ - _ (QuRV_scope) [in VQCS.QalgebraRV]
- _ (QuRV_scope) [in VQCS.QalgebraRV]
_ +' _ (QuRV_scope) [in VQCS.QalgebraRV]
_ '+ _ (QuRV_scope) [in VQCS.QalgebraRV]
_ + _ (QuRV_scope) [in VQCS.QalgebraRV]
_ <=? _ (QuR_scope) [in VQCS.QalgebraR]
_ <? _ (QuR_scope) [in VQCS.QalgebraR]
_ =? _ (QuR_scope) [in VQCS.QalgebraR]
'atan _ (QuR_scope) [in VQCS.QalgebraR]
'acos _ (QuR_scope) [in VQCS.QalgebraR]
'asin _ (QuR_scope) [in VQCS.QalgebraR]
'tan _ (QuR_scope) [in VQCS.QalgebraR]
'cos _ (QuR_scope) [in VQCS.QalgebraR]
'sin _ (QuR_scope) [in VQCS.QalgebraR]
_ / _ (QuR_scope) [in VQCS.QalgebraR]
/ _ (QuR_scope) [in VQCS.QalgebraR]
_ ⁵ (QuR_scope) [in VQCS.QalgebraR]
_ ⁴ (QuR_scope) [in VQCS.QalgebraR]
_ ³ (QuR_scope) [in VQCS.QalgebraR]
_ ² (QuR_scope) [in VQCS.QalgebraR]
_ ^ _ (QuR_scope) [in VQCS.QalgebraR]
_ * _ (QuR_scope) [in VQCS.QalgebraR]
_ -' _ (QuR_scope) [in VQCS.QalgebraR]
_ '- _ (QuR_scope) [in VQCS.QalgebraR]
_ - _ (QuR_scope) [in VQCS.QalgebraR]
- _ (QuR_scope) [in VQCS.QalgebraR]
_ +' _ (QuR_scope) [in VQCS.QalgebraR]
_ '+ _ (QuR_scope) [in VQCS.QalgebraR]
_ + _ (QuR_scope) [in VQCS.QalgebraR]
_ ⁶ (Unit_scope) [in VQCS.Unit]
_ ⁵ (Unit_scope) [in VQCS.Unit]
_ ⁴ (Unit_scope) [in VQCS.Unit]
_ ³ (Unit_scope) [in VQCS.Unit]
_ ² (Unit_scope) [in VQCS.Unit]
_ ^ _ (Unit_scope) [in VQCS.Unit]
_ / _ (Unit_scope) [in VQCS.Unit]
/ _ (Unit_scope) [in VQCS.Unit]
_ * _ (Unit_scope) [in VQCS.Unit]
&J (Unit_scope) [in VQCS.Unit]
&N (Unit_scope) [in VQCS.Unit]
&Q (Unit_scope) [in VQCS.Unit]
&I (Unit_scope) [in VQCS.Unit]
&M (Unit_scope) [in VQCS.Unit]
&L (Unit_scope) [in VQCS.Unit]
&T (Unit_scope) [in VQCS.Unit]
_ == _ (Unit_scope) [in VQCS.Nunit]
_ =? _ (Unit_scope) [in VQCS.Nunit]
Module Index
D
demo1 [in VQCS.test_PropulsionSystem.Basic]E
ex_QuR [in VQCS.QalgebraR]S
SI_Constants_spec [in VQCS.SI]SI_Constants [in VQCS.SI]
SI_Accepted [in VQCS.SI]
SI_Derived [in VQCS.SI]
SI_Basic [in VQCS.SI]
SI_Prefix [in VQCS.SI]
T
Temperature_TemperatureDifference [in VQCS.SI]T_b_ex [in VQCS.test_PropulsionSystem.Basic]
Variable Index
E
ex_QuR.ex2.V [in VQCS.QalgebraR]ex_QuR.ex2.f2 [in VQCS.QalgebraR]
ex_QuR.ex2.f1 [in VQCS.QalgebraR]
ex_QuR.ex1.s2 [in VQCS.QalgebraR]
ex_QuR.ex1.s1 [in VQCS.QalgebraR]
ex_QuR.ex1.v2 [in VQCS.QalgebraR]
ex_QuR.ex1.v1 [in VQCS.QalgebraR]
ex_QuR.ex1.t2 [in VQCS.QalgebraR]
ex_QuR.ex1.t1 [in VQCS.QalgebraR]
ex_QuR.ex1.g [in VQCS.QalgebraR]
ex_vector.displacement.p1 [in VQCS.Quantity]
ex_vector.displacement.pz [in VQCS.Quantity]
ex_vector.displacement.py [in VQCS.Quantity]
ex_vector.displacement.px [in VQCS.Quantity]
ex_salar.time.t2 [in VQCS.Quantity]
ex_salar.time.t1 [in VQCS.Quantity]
P
pair_dec.b7 [in VQCS.Utils]pair_dec.a7 [in VQCS.Utils]
pair_dec.b6 [in VQCS.Utils]
pair_dec.a6 [in VQCS.Utils]
pair_dec.b5 [in VQCS.Utils]
pair_dec.a5 [in VQCS.Utils]
pair_dec.b4 [in VQCS.Utils]
pair_dec.a4 [in VQCS.Utils]
pair_dec.b3 [in VQCS.Utils]
pair_dec.a3 [in VQCS.Utils]
pair_dec.b2 [in VQCS.Utils]
pair_dec.a2 [in VQCS.Utils]
pair_dec.b1 [in VQCS.Utils]
pair_dec.a1 [in VQCS.Utils]
pair_neq.b7 [in VQCS.Utils]
pair_neq.a7 [in VQCS.Utils]
pair_neq.b6 [in VQCS.Utils]
pair_neq.a6 [in VQCS.Utils]
pair_neq.b5 [in VQCS.Utils]
pair_neq.a5 [in VQCS.Utils]
pair_neq.b4 [in VQCS.Utils]
pair_neq.a4 [in VQCS.Utils]
pair_neq.b3 [in VQCS.Utils]
pair_neq.a3 [in VQCS.Utils]
pair_neq.b2 [in VQCS.Utils]
pair_neq.a2 [in VQCS.Utils]
pair_neq.b1 [in VQCS.Utils]
pair_neq.a1 [in VQCS.Utils]
pair_eq.b7 [in VQCS.Utils]
pair_eq.a7 [in VQCS.Utils]
pair_eq.b6 [in VQCS.Utils]
pair_eq.a6 [in VQCS.Utils]
pair_eq.b5 [in VQCS.Utils]
pair_eq.a5 [in VQCS.Utils]
pair_eq.b4 [in VQCS.Utils]
pair_eq.a4 [in VQCS.Utils]
pair_eq.b3 [in VQCS.Utils]
pair_eq.a3 [in VQCS.Utils]
pair_eq.b2 [in VQCS.Utils]
pair_eq.a2 [in VQCS.Utils]
pair_eq.b1 [in VQCS.Utils]
pair_eq.a1 [in VQCS.Utils]
T
test.ex1 [in VQCS.Unit]test.ex1.bar [in VQCS.SI]
test.ex1.killoPa [in VQCS.SI]
test.ex1.Ru1 [in VQCS.SI]
test.ex1.Ru2 [in VQCS.SI]
test.ex1.Ru3 [in VQCS.SI]
test.ex1.Ru4 [in VQCS.SI]
test.ex1.Ru5 [in VQCS.SI]
test.ex1.Ru6 [in VQCS.SI]
test.ex1.s [in VQCS.QalgebraRV]
test.ex1.t [in VQCS.QalgebraRV]
test.ex1.v [in VQCS.QalgebraRV]
test.ex2.astronomical_unit [in VQCS.SI]
test.ex2.julian_year [in VQCS.SI]
test.ex2.light_year [in VQCS.SI]
test.ex2.parsec [in VQCS.SI]
test.E_a [in VQCS.test_PropulsionSystem.Basic]
test.hour [in VQCS.Unit]
test.I_m [in VQCS.test_PropulsionSystem.Basic]
test.kg [in VQCS.Unit]
test.kg [in VQCS.Unit]
test.kg [in VQCS.Nunit]
test.km [in VQCS.Unit]
test.m [in VQCS.Unit]
test.m [in VQCS.Unit]
test.m [in VQCS.Nunit]
test.m [in VQCS.Nunit]
test.m3 [in VQCS.Unit]
test.N [in VQCS.Unit]
test.N' [in VQCS.Unit]
test.rpm [in VQCS.Unit]
test.s [in VQCS.Unit]
test.s [in VQCS.Unit]
test.s [in VQCS.Nunit]
test.s [in VQCS.Nunit]
test.u1 [in VQCS.Nunit]
test.u2 [in VQCS.Nunit]
Library Index
B
BasicN
NconvNunit
Q
QalgebraQalgebraR
QalgebraRV
Quantity
S
SIU
UconvUnit
Utils
Lemma Index
B
bueqb_refl [in VQCS.Unit]bueqb_reflect [in VQCS.Unit]
bueqb_false_iff [in VQCS.Unit]
bueqb_true_iff [in VQCS.Unit]
bu2nat_nat2bu_id [in VQCS.Unit]
D
ddiv_dscal [in VQCS.Nunit]deqb_dplus_cancel_r [in VQCS.Nunit]
deqb_dplus_cancel_l [in VQCS.Nunit]
deqb_comm [in VQCS.Nunit]
deqb_refl [in VQCS.Nunit]
deqb_reflect [in VQCS.Nunit]
deqb_false_iff [in VQCS.Nunit]
deqb_true_iff [in VQCS.Nunit]
deq_iff [in VQCS.Nunit]
deq_dec [in VQCS.Nunit]
dmap2_cancel_r [in VQCS.Nunit]
dmap2_cancel_l [in VQCS.Nunit]
dmap2_inv_r [in VQCS.Nunit]
dmap2_inv_l [in VQCS.Nunit]
dmap2_0_r [in VQCS.Nunit]
dmap2_0_l [in VQCS.Nunit]
dmap2_assoc [in VQCS.Nunit]
dmap2_comm [in VQCS.Nunit]
dneq_iff [in VQCS.Nunit]
dplus_dopp_r [in VQCS.Nunit]
dplus_dopp_l [in VQCS.Nunit]
dplus_cancel_r [in VQCS.Nunit]
dplus_cancel_l [in VQCS.Nunit]
dplus_0_r [in VQCS.Nunit]
dplus_0_l [in VQCS.Nunit]
dplus_assoc [in VQCS.Nunit]
dplus_comm [in VQCS.Nunit]
dscal_ddiv [in VQCS.Nunit]
dscal_0_l [in VQCS.Nunit]
G
get_T_by_N_unit [in VQCS.test_PropulsionSystem.Basic]L
large_number_ex1 [in VQCS.SI]N
nat2bu_bu2nat_id [in VQCS.Unit]nat2bu_inv [in VQCS.Unit]
nat2bu_None [in VQCS.Unit]
nat2bu_Some [in VQCS.Unit]
ncoef_u2n [in VQCS.Nunit]
nconvRate_eq [in VQCS.Nconv]
ncvtbleb_reflect [in VQCS.Nconv]
ncvtbleb_false_iff [in VQCS.Nconv]
ncvtbleb_true_iff [in VQCS.Nconv]
ncvtbleb_refl [in VQCS.Nconv]
ncvtble_trans [in VQCS.Nconv]
ncvtble_sym [in VQCS.Nconv]
ncvtble_refl [in VQCS.Nconv]
ndimb1b_true_iff [in VQCS.Nunit]
ndims_u2n [in VQCS.Nunit]
neqb_comm [in VQCS.Nunit]
neqb_reflect [in VQCS.Nunit]
neqb_false_iff [in VQCS.Nunit]
neqb_true_iff [in VQCS.Nunit]
neqb_refl [in VQCS.Nunit]
neq_dec [in VQCS.Nunit]
neq_iff [in VQCS.Nunit]
nmul_ninv_r [in VQCS.Nunit]
nmul_ninv_l [in VQCS.Nunit]
nmul_1_r [in VQCS.Nunit]
nmul_1_l [in VQCS.Nunit]
nmul_assoc [in VQCS.Nunit]
nmul_comm [in VQCS.Nunit]
nneq_iff [in VQCS.Nunit]
npow_nroot2 [in VQCS.Nunit]
npow_nroot [in VQCS.Nunit]
npow2_eq_nmul [in VQCS.Nunit]
nroot_npow [in VQCS.Nunit]
nroot2_nmul [in VQCS.Nunit]
n2u_coef1_unormed [in VQCS.Nunit]
n2u_neq_iff [in VQCS.Nunit]
n2u_eq_iff [in VQCS.Nunit]
n2u_eq_imply_dims_eq [in VQCS.Nunit]
n2u_eq_imply_coef_eq [in VQCS.Nunit]
P
pair_dec7 [in VQCS.Utils]pair_dec6 [in VQCS.Utils]
pair_dec5 [in VQCS.Utils]
pair_dec4 [in VQCS.Utils]
pair_dec3 [in VQCS.Utils]
pair_dec2 [in VQCS.Utils]
pair_neq7 [in VQCS.Utils]
pair_neq6 [in VQCS.Utils]
pair_neq5 [in VQCS.Utils]
pair_neq4 [in VQCS.Utils]
pair_neq3 [in VQCS.Utils]
pair_neq2 [in VQCS.Utils]
pair_eq7 [in VQCS.Utils]
pair_eq6 [in VQCS.Utils]
pair_eq5 [in VQCS.Utils]
pair_eq4 [in VQCS.Utils]
pair_eq3 [in VQCS.Utils]
pair_eq2 [in VQCS.Utils]
Q
qadd_qinvalid_r [in VQCS.Qalgebra]qadd_qinvalid_l [in VQCS.Qalgebra]
qadd_comm [in VQCS.Qalgebra]
qadd_assoc [in VQCS.Qalgebra]
qeqbR_comm [in VQCS.QalgebraR]
qeqbR_true_refl [in VQCS.QalgebraR]
qeq_if_qval_qcof_qdims [in VQCS.Quantity]
qmul_qinv_l [in VQCS.Qalgebra]
qmul_1_r [in VQCS.Qalgebra]
qmul_1_l [in VQCS.Qalgebra]
qmul_comm [in VQCS.Qalgebra]
qmul_assoc [in VQCS.Qalgebra]
qmul_cancel_r [in VQCS.Qalgebra]
qmul_cancel_l [in VQCS.Qalgebra]
qrootR_qsqr [in VQCS.QalgebraR]
qsameub_q2qu [in VQCS.Quantity]
qsameub_false_iff [in VQCS.Quantity]
qsameub_true_iff [in VQCS.Quantity]
qsameub_reflect [in VQCS.Quantity]
qsameu_q2qu [in VQCS.Quantity]
qsqr_qrootR [in VQCS.QalgebraR]
S
SI_Constants_spec.cd_def3 [in VQCS.SI]SI_Constants_spec.cd_def2 [in VQCS.SI]
SI_Constants_spec.cd_def1 [in VQCS.SI]
SI_Constants_spec.mol_def [in VQCS.SI]
SI_Constants_spec.kelvin_def3 [in VQCS.SI]
SI_Constants_spec.kelvin_def2 [in VQCS.SI]
SI_Constants_spec.kelvin_def1 [in VQCS.SI]
SI_Constants_spec.A_def3 [in VQCS.SI]
SI_Constants_spec.A_def2 [in VQCS.SI]
SI_Constants_spec.A_def1 [in VQCS.SI]
SI_Constants_spec.kg_def3 [in VQCS.SI]
SI_Constants_spec.kg_def2 [in VQCS.SI]
SI_Constants_spec.kg_def1 [in VQCS.SI]
SI_Constants_spec.m_def3 [in VQCS.SI]
SI_Constants_spec.m_def2 [in VQCS.SI]
SI_Constants_spec.m_def1 [in VQCS.SI]
SI_Constants_spec.s_def [in VQCS.SI]
SI_Constants_spec.Hz_def [in VQCS.SI]
SI_Accepted.day2minute [in VQCS.SI]
SI_Accepted.day2second [in VQCS.SI]
SI_Accepted.hour2second [in VQCS.SI]
SI_Accepted.second_millisecond [in VQCS.SI]
SI_Derived.sievert_spec [in VQCS.SI]
SI_Derived.gray_spec [in VQCS.SI]
SI_Derived.lux_spec [in VQCS.SI]
SI_Derived.henry_spec [in VQCS.SI]
SI_Derived.tesla_spec [in VQCS.SI]
SI_Derived.weber_spec [in VQCS.SI]
SI_Derived.siemens_spec [in VQCS.SI]
SI_Derived.ohm_spec [in VQCS.SI]
SI_Derived.farad_spec [in VQCS.SI]
SI_Derived.volt_spec [in VQCS.SI]
SI_Derived.power_spec [in VQCS.SI]
SI_Derived.pascal_spec2 [in VQCS.SI]
SI_Derived.joule_spec [in VQCS.SI]
SI_Derived.pascal_spec [in VQCS.SI]
SI_Derived.steradian_spec [in VQCS.SI]
SI_Derived.radian_spec [in VQCS.SI]
T
Temperature_TemperatureDifference.ex1 [in VQCS.SI]Temperature_TemperatureDifference.temperatureDiffFah_spec [in VQCS.SI]
Temperature_TemperatureDifference.temperatureDiffCel_spec [in VQCS.SI]
Temperature_TemperatureDifference.temperatureDiffKel_spec [in VQCS.SI]
Temperature_TemperatureDifference.temperatureFah_spec [in VQCS.SI]
Temperature_TemperatureDifference.temperatureCel_spec [in VQCS.SI]
Temperature_TemperatureDifference.deltaFah_spec [in VQCS.SI]
Temperature_TemperatureDifference.deltaCel_spec [in VQCS.SI]
Temperature_TemperatureDifference.deltaKel_spec [in VQCS.SI]
Temperature_TemperatureDifference.fah2kelR_spec [in VQCS.SI]
Temperature_TemperatureDifference.kel2fahR_spec [in VQCS.SI]
Temperature_TemperatureDifference.kel2fahR_fah2kelR_id [in VQCS.SI]
Temperature_TemperatureDifference.fah2kelR_kel2fahR_id [in VQCS.SI]
Temperature_TemperatureDifference.cel2fahR_fah2celR_id [in VQCS.SI]
Temperature_TemperatureDifference.fah2celR_cel2fahR_id [in VQCS.SI]
Temperature_TemperatureDifference.cel2kelR_kel2celR_id [in VQCS.SI]
Temperature_TemperatureDifference.kel2celR_cel2kelR_id [in VQCS.SI]
U
ucoef_ucons [in VQCS.Unit]ucoef_ugenByBU [in VQCS.Unit]
ucoef_ugenByBUNat [in VQCS.Unit]
ucoef_Umul [in VQCS.Unit]
ucoef_Uinv [in VQCS.Unit]
ucoef_Ubu [in VQCS.Unit]
ucoef_Unone [in VQCS.Unit]
ucoef_n2u [in VQCS.Nunit]
ucoef_upow [in VQCS.Nunit]
ucoef_upowNat [in VQCS.Nunit]
ucons_inj_Unit [in VQCS.Unit]
ucons_inj_BU [in VQCS.Unit]
ucons_inj_exp_ext [in VQCS.Unit]
ucons_inj_exp [in VQCS.Unit]
ucvtbleb_reflect [in VQCS.Uconv]
ucvtbleb_false_iff [in VQCS.Uconv]
ucvtbleb_true_iff [in VQCS.Uconv]
ucvtble_trans [in VQCS.Uconv]
ucvtble_sym [in VQCS.Uconv]
ucvtble_refl [in VQCS.Uconv]
udimb1b_true_iff [in VQCS.Nunit]
udims_n2u [in VQCS.Nunit]
udims_ucons [in VQCS.Nunit]
udims_upow [in VQCS.Nunit]
udims_Umul [in VQCS.Nunit]
udims_Ubu [in VQCS.Nunit]
udims_Unone [in VQCS.Nunit]
udims_eq_iffb [in VQCS.Nunit]
udims_eq_iffP [in VQCS.Nunit]
udims_spec [in VQCS.Nunit]
udim_ucons [in VQCS.Unit]
udim_ucons_diff [in VQCS.Unit]
udim_ucons_same [in VQCS.Unit]
udim_ugenByBU_diff [in VQCS.Unit]
udim_ugenByBU_same [in VQCS.Unit]
udim_ugenByBUNat_diff [in VQCS.Unit]
udim_ugenByBUNat_same [in VQCS.Unit]
udim_upow [in VQCS.Unit]
udim_upowNat [in VQCS.Unit]
udim_Umul [in VQCS.Unit]
udim_Uinv [in VQCS.Unit]
udim_Ubu_diff [in VQCS.Unit]
udim_Ubu_same [in VQCS.Unit]
udim_Unone [in VQCS.Unit]
udim_n2u_ext [in VQCS.Nunit]
udim_n2u [in VQCS.Nunit]
udim_u2n [in VQCS.Nunit]
ueqb_reflect [in VQCS.Nunit]
ueqb_false_iff [in VQCS.Nunit]
ueqb_true_iff [in VQCS.Nunit]
ueqb_comm [in VQCS.Nunit]
ueqb_true_refl [in VQCS.Nunit]
ueqb_ucons [in VQCS.Nunit]
ueq_trans [in VQCS.Nunit]
ueq_sym [in VQCS.Nunit]
ueq_refl [in VQCS.Nunit]
ueq_iff_coef_dims [in VQCS.Nunit]
ueq_ucons [in VQCS.Nunit]
ueq_iff_ueqb [in VQCS.Nunit]
ugenByBUNat_PosToNat_eq_Uinv_contro [in VQCS.Unit]
ugenByBUNat_PosToNat_eq_Unone_contro [in VQCS.Unit]
ugenByBUNat_inj_BU [in VQCS.Unit]
ugenByBUNat_inj_exp [in VQCS.Unit]
ugenByBU_inj_BU [in VQCS.Unit]
ugenByBU_inj_exp [in VQCS.Unit]
umul_eq_contro_r [in VQCS.Unit]
umul_eq_contro_l [in VQCS.Unit]
umul_cancel_r [in VQCS.Unit]
umul_cancel_l [in VQCS.Unit]
umul_inj [in VQCS.Unit]
unorm_unormed [in VQCS.Nunit]
unorm_involutive [in VQCS.Nunit]
unorm_sound [in VQCS.Nunit]
unorm_complete [in VQCS.Nunit]
u2n_n2u [in VQCS.Nunit]
u2n_upow_rw [in VQCS.Nunit]
u2n_Upow_wd [in VQCS.Nunit]
u2n_upowNat_wd [in VQCS.Nunit]
u2n_Uinv_wd [in VQCS.Nunit]
u2n_Uinv [in VQCS.Nunit]
u2n_Umult_wd [in VQCS.Nunit]
u2n_Umult_cancel_r [in VQCS.Nunit]
u2n_Umult_cancel_l [in VQCS.Nunit]
u2n_Umult [in VQCS.Nunit]
u2n_Ubu [in VQCS.Nunit]
u2n_Unone [in VQCS.Nunit]
Z
zdiv2_add [in VQCS.Utils]zdiv2_mul2 [in VQCS.Utils]
zmul2_div2 [in VQCS.Utils]
z_mul_div [in VQCS.Utils]
z_div_mul_alt [in VQCS.Utils]
Constructor Index
B
BUAmountOfSubstance [in VQCS.Unit]BUElectricCurrent [in VQCS.Unit]
BULength [in VQCS.Unit]
BULuminousIntensity [in VQCS.Unit]
BUMass [in VQCS.Unit]
BUThermodynamicTemperature [in VQCS.Unit]
BUTime [in VQCS.Unit]
Q
Qinvalid [in VQCS.Quantity]Qmake [in VQCS.Quantity]
U
Ubu [in VQCS.Unit]Uinv [in VQCS.Unit]
Umul [in VQCS.Unit]
Unone [in VQCS.Unit]
Axiom Index
C
condH_val_T_t [in VQCS.test_PropulsionSystem.Basic]condH_val_h [in VQCS.test_PropulsionSystem.Basic]
condL_val_T_t [in VQCS.test_PropulsionSystem.Basic]
condL_val_h [in VQCS.test_PropulsionSystem.Basic]
const_val_T_0 [in VQCS.test_PropulsionSystem.Basic]
const_val_0_06 [in VQCS.test_PropulsionSystem.Basic]
const_val_9_55 [in VQCS.test_PropulsionSystem.Basic]
const_val_0_25 [in VQCS.test_PropulsionSystem.Basic]
const_val_0_8 [in VQCS.test_PropulsionSystem.Basic]
const_val_5_2561 [in VQCS.test_PropulsionSystem.Basic]
const_val_0_0065 [in VQCS.test_PropulsionSystem.Basic]
G
gt0_val_K_V0 [in VQCS.test_PropulsionSystem.Basic]gt0_val_U_m0 [in VQCS.test_PropulsionSystem.Basic]
gt0_val_C_b_minus_C_min [in VQCS.test_PropulsionSystem.Basic]
gt0_val_U_b [in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_alpha_ab [in VQCS.test_PropulsionSystem.Basic]
gt0_val_R_e [in VQCS.test_PropulsionSystem.Basic]
gt0_val_R_m [in VQCS.test_PropulsionSystem.Basic]
gt0_val_R_b [in VQCS.test_PropulsionSystem.Basic]
gt0_val_C_M [in VQCS.test_PropulsionSystem.Basic]
gt0_val_C_T [in VQCS.test_PropulsionSystem.Basic]
gt0_val_C_fd [in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_e [in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_zeta [in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_lambda [in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_epsilon [in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_K0 [in VQCS.test_PropulsionSystem.Basic]
gt0_val_PP_A [in VQCS.test_PropulsionSystem.Basic]
gt0_val_B_p [in VQCS.test_PropulsionSystem.Basic]
gt0_val_D_p [in VQCS.test_PropulsionSystem.Basic]
gt0_val_G [in VQCS.test_PropulsionSystem.Basic]
gt0_val_n_r [in VQCS.test_PropulsionSystem.Basic]
gt0_val_T_t [in VQCS.test_PropulsionSystem.Basic]
gt0_val_rho_0 [in VQCS.test_PropulsionSystem.Basic]
gt0_val_p_0 [in VQCS.test_PropulsionSystem.Basic]
V
val_U_b [in VQCS.test_PropulsionSystem.Basic]val_R_b [in VQCS.test_PropulsionSystem.Basic]
val_K_b [in VQCS.test_PropulsionSystem.Basic]
val_C_min [in VQCS.test_PropulsionSystem.Basic]
val_C_b [in VQCS.test_PropulsionSystem.Basic]
val_G_e [in VQCS.test_PropulsionSystem.Basic]
val_R_e [in VQCS.test_PropulsionSystem.Basic]
val_I_eMax [in VQCS.test_PropulsionSystem.Basic]
val_G_m [in VQCS.test_PropulsionSystem.Basic]
val_R_m [in VQCS.test_PropulsionSystem.Basic]
val_I_m0 [in VQCS.test_PropulsionSystem.Basic]
val_U_m0 [in VQCS.test_PropulsionSystem.Basic]
val_I_mMax [in VQCS.test_PropulsionSystem.Basic]
val_K_V0 [in VQCS.test_PropulsionSystem.Basic]
val_C_M [in VQCS.test_PropulsionSystem.Basic]
val_C_d [in VQCS.test_PropulsionSystem.Basic]
val_C_T [in VQCS.test_PropulsionSystem.Basic]
val_C_fd [in VQCS.test_PropulsionSystem.Basic]
val_PP_alpha0 [in VQCS.test_PropulsionSystem.Basic]
val_PP_K0 [in VQCS.test_PropulsionSystem.Basic]
val_PP_e [in VQCS.test_PropulsionSystem.Basic]
val_PP_zeta [in VQCS.test_PropulsionSystem.Basic]
val_PP_lambda [in VQCS.test_PropulsionSystem.Basic]
val_PP_epsilon [in VQCS.test_PropulsionSystem.Basic]
val_PP_A [in VQCS.test_PropulsionSystem.Basic]
val_G_p [in VQCS.test_PropulsionSystem.Basic]
val_B_p [in VQCS.test_PropulsionSystem.Basic]
val_H_p [in VQCS.test_PropulsionSystem.Basic]
val_D_p [in VQCS.test_PropulsionSystem.Basic]
val_rho [in VQCS.test_PropulsionSystem.Basic]
val_n_r [in VQCS.test_PropulsionSystem.Basic]
val_I_other [in VQCS.test_PropulsionSystem.Basic]
val_G [in VQCS.test_PropulsionSystem.Basic]
val_T_t [in VQCS.test_PropulsionSystem.Basic]
val_rho_0 [in VQCS.test_PropulsionSystem.Basic]
val_p_0 [in VQCS.test_PropulsionSystem.Basic]
val_h [in VQCS.test_PropulsionSystem.Basic]
val_T_0 [in VQCS.test_PropulsionSystem.Basic]
val_0_06 [in VQCS.test_PropulsionSystem.Basic]
val_9_55 [in VQCS.test_PropulsionSystem.Basic]
val_0_25 [in VQCS.test_PropulsionSystem.Basic]
val_0_8 [in VQCS.test_PropulsionSystem.Basic]
val_5_2561 [in VQCS.test_PropulsionSystem.Basic]
val_0_0065 [in VQCS.test_PropulsionSystem.Basic]
Inductive Index
B
BaseUnit [in VQCS.Unit]Q
Quantity [in VQCS.Quantity]U
Unit [in VQCS.Unit]Instance Index
N
ncvtble_equiv [in VQCS.Nconv]Q
qmul_Group [in VQCS.Qalgebra]qmul_AMonoid [in VQCS.Qalgebra]
qmul_Monoid [in VQCS.Qalgebra]
U
ucvtble_equiv [in VQCS.Uconv]ueq_equiv [in VQCS.Nunit]
Section Index
E
ex_QuR.ex2 [in VQCS.QalgebraR]ex_QuR.ex1 [in VQCS.QalgebraR]
ex_vector.displacement [in VQCS.Quantity]
ex_vector [in VQCS.Quantity]
ex_salar.time [in VQCS.Quantity]
ex_salar [in VQCS.Quantity]
M
more_ARmul [in VQCS.Quantity]P
pair_dec [in VQCS.Utils]pair_neq [in VQCS.Utils]
pair_eq [in VQCS.Utils]
Q
qadd_qopp_qsub [in VQCS.Qalgebra]qinv [in VQCS.Qalgebra]
qmul_specific [in VQCS.Qalgebra]
qmul_qdiv.qpow [in VQCS.Qalgebra]
qmul_qdiv [in VQCS.Qalgebra]
T
Temperature_TemperatureDifference.test [in VQCS.SI]test [in VQCS.QalgebraRV]
test [in VQCS.Unit]
test [in VQCS.Unit]
test [in VQCS.Unit]
test [in VQCS.Unit]
test [in VQCS.Unit]
test [in VQCS.QalgebraR]
test [in VQCS.test_PropulsionSystem.Basic]
test [in VQCS.Nconv]
test [in VQCS.Nunit]
test [in VQCS.Nunit]
test [in VQCS.Uconv]
test [in VQCS.SI]
test.ex1 [in VQCS.QalgebraRV]
test.ex1 [in VQCS.SI]
test.ex2 [in VQCS.SI]
U
udims_spec [in VQCS.Nunit]Z
Z [in VQCS.Utils]Abbreviation Index
L
l2v [in VQCS.Quantity]Q
qinv [in VQCS.Qalgebra]qinv [in VQCS.Qalgebra]
qmul [in VQCS.Qalgebra]
qone [in VQCS.Qalgebra]
qvalu [in VQCS.Quantity]
qvalu [in VQCS.Quantity]
q2qu [in VQCS.Quantity]
q2qu [in VQCS.Quantity]
Definition Index
A
a2q [in VQCS.Quantity]B
BaseUnit_eq_dec [in VQCS.Unit]BaseUnit_sind [in VQCS.Unit]
BaseUnit_rec [in VQCS.Unit]
BaseUnit_ind [in VQCS.Unit]
BaseUnit_rect [in VQCS.Unit]
bueqb [in VQCS.Unit]
bu2nat [in VQCS.Unit]
C
CHK_UNIT [in VQCS.test_PropulsionSystem.Basic]CVT_UNIT [in VQCS.test_PropulsionSystem.Basic]
C_min [in VQCS.test_PropulsionSystem.Basic]
C_b [in VQCS.test_PropulsionSystem.Basic]
C_M [in VQCS.test_PropulsionSystem.Basic]
C_d [in VQCS.test_PropulsionSystem.Basic]
C_T [in VQCS.test_PropulsionSystem.Basic]
D
dAll [in VQCS.Nunit]dAllb [in VQCS.Nunit]
ddiv [in VQCS.Nunit]
ddivCond [in VQCS.Nunit]
ddivCondb [in VQCS.Nunit]
demo1.get_T_by_N_CONVERT_OUTPUT [in VQCS.test_PropulsionSystem.Basic]
demo1.get_T_by_N_CONVERT_INPUT [in VQCS.test_PropulsionSystem.Basic]
demo1.get_T_by_N_CHECK_INPUT [in VQCS.test_PropulsionSystem.Basic]
demo1.get_T_by_N_NOCHECK [in VQCS.test_PropulsionSystem.Basic]
demo1.Unnamed_thm4 [in VQCS.test_PropulsionSystem.Basic]
demo1.Unnamed_thm3 [in VQCS.test_PropulsionSystem.Basic]
demo1.Unnamed_thm2 [in VQCS.test_PropulsionSystem.Basic]
demo1.Unnamed_thm1 [in VQCS.test_PropulsionSystem.Basic]
demo1.Unnamed_thm0 [in VQCS.test_PropulsionSystem.Basic]
demo1.Unnamed_thm [in VQCS.test_PropulsionSystem.Basic]
deqb [in VQCS.Nunit]
diff [in VQCS.Nunit]
dimFromDims [in VQCS.Nunit]
Dims [in VQCS.Nunit]
dmakeByBU [in VQCS.Nunit]
dmap [in VQCS.Nunit]
dmap2 [in VQCS.Nunit]
dopp [in VQCS.Nunit]
dplus [in VQCS.Nunit]
dscal [in VQCS.Nunit]
dsub [in VQCS.Nunit]
dzero [in VQCS.Nunit]
D_p [in VQCS.test_PropulsionSystem.Basic]
E
ex_QuR.Unnamed_thm14 [in VQCS.QalgebraR]ex_QuR.Unnamed_thm13 [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm12 [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm11 [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm10 [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm9 [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm8 [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm7 [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm6 [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm5 [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm4 [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm3 [in VQCS.QalgebraR]
ex_QuR.fill_time_min [in VQCS.QalgebraR]
ex_QuR.fill_time_s [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm2 [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm1 [in VQCS.QalgebraR]
ex_QuR.s1_s [in VQCS.QalgebraR]
ex_QuR.v1_m_per_s [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm0 [in VQCS.QalgebraR]
ex_QuR.Unnamed_thm [in VQCS.QalgebraR]
G
G [in VQCS.test_PropulsionSystem.Basic]get_N_by_M [in VQCS.test_PropulsionSystem.Basic]
get_N_by_T [in VQCS.test_PropulsionSystem.Basic]
get_eta_by_M_and_N_and_I_b [in VQCS.test_PropulsionSystem.Basic]
get_theta_max_by_T [in VQCS.test_PropulsionSystem.Basic]
get_G_maxload_by_T [in VQCS.test_PropulsionSystem.Basic]
get_T_b_by_I_b [in VQCS.test_PropulsionSystem.Basic]
get_U_e_by_I_b [in VQCS.test_PropulsionSystem.Basic]
get_I_b_by_I_e [in VQCS.test_PropulsionSystem.Basic]
get_I_e_by_sigma_e_and_I_m [in VQCS.test_PropulsionSystem.Basic]
get_U_eo_by_sigma_e [in VQCS.test_PropulsionSystem.Basic]
get_U_eo_by_U_m_and_I_m [in VQCS.test_PropulsionSystem.Basic]
get_U_m_by_E_a_and_I_m [in VQCS.test_PropulsionSystem.Basic]
get_M_by_I_m [in VQCS.test_PropulsionSystem.Basic]
get_E_a_by_N [in VQCS.test_PropulsionSystem.Basic]
get_M_by_N [in VQCS.test_PropulsionSystem.Basic]
get_T_by_N [in VQCS.test_PropulsionSystem.Basic]
G_e [in VQCS.test_PropulsionSystem.Basic]
G_m [in VQCS.test_PropulsionSystem.Basic]
H
h [in VQCS.test_PropulsionSystem.Basic]H_p [in VQCS.test_PropulsionSystem.Basic]
I
I_eMax [in VQCS.test_PropulsionSystem.Basic]I_m0 [in VQCS.test_PropulsionSystem.Basic]
I_mMax [in VQCS.test_PropulsionSystem.Basic]
I_other [in VQCS.test_PropulsionSystem.Basic]
K
K_b [in VQCS.test_PropulsionSystem.Basic]K_T [in VQCS.test_PropulsionSystem.Basic]
K_E [in VQCS.test_PropulsionSystem.Basic]
N
nat2bu [in VQCS.Unit]nat2bu_validCond [in VQCS.Unit]
ncoef [in VQCS.Nunit]
nconv [in VQCS.Nconv]
nconvRate [in VQCS.Nconv]
ncvtble [in VQCS.Nconv]
ncvtbleb [in VQCS.Nconv]
ndims [in VQCS.Nunit]
ndim1b [in VQCS.Nunit]
ndiv [in VQCS.Nunit]
neqb [in VQCS.Nunit]
ninv [in VQCS.Nunit]
nmul [in VQCS.Nunit]
npow [in VQCS.Nunit]
nroot [in VQCS.Nunit]
nrootCond [in VQCS.Nunit]
nrootCondb [in VQCS.Nunit]
Nunit [in VQCS.Nunit]
nunitOne [in VQCS.Nunit]
n_r [in VQCS.test_PropulsionSystem.Basic]
n2u [in VQCS.Nunit]
P
p [in VQCS.test_PropulsionSystem.Basic]p_0 [in VQCS.test_PropulsionSystem.Basic]
Q
qabs [in VQCS.QalgebraR]qacos [in VQCS.QalgebraR]
qadd [in VQCS.Qalgebra]
qaddl [in VQCS.Qalgebra]
qaddlR [in VQCS.QalgebraR]
qaddlRV [in VQCS.QalgebraRV]
qaddr [in VQCS.Qalgebra]
qaddR [in VQCS.QalgebraR]
qaddrR [in VQCS.QalgebraR]
qaddrRV [in VQCS.QalgebraRV]
qaddRV [in VQCS.QalgebraRV]
qasin [in VQCS.QalgebraR]
qatan [in VQCS.QalgebraR]
qcmpb [in VQCS.Quantity]
qcoef [in VQCS.Quantity]
qcos [in VQCS.QalgebraR]
qcrossRV3 [in VQCS.QalgebraRV]
qcvtble [in VQCS.Quantity]
qcvtbleb [in VQCS.Quantity]
qcvtblebR [in VQCS.QalgebraR]
qcvtbleR [in VQCS.QalgebraR]
qcvtbleRV [in VQCS.QalgebraRV]
qdims [in VQCS.Quantity]
qdim0op1 [in VQCS.Qalgebra]
qdim0op2 [in VQCS.Qalgebra]
qdiv [in VQCS.Qalgebra]
qdivR [in VQCS.QalgebraR]
qdotRV [in VQCS.QalgebraRV]
qeqbR [in VQCS.QalgebraR]
qinv [in VQCS.Qalgebra]
qinvR [in VQCS.QalgebraR]
qlebR [in VQCS.QalgebraR]
qltbR [in VQCS.QalgebraR]
qmul [in VQCS.Qalgebra]
qmulR [in VQCS.QalgebraR]
qnthRV [in VQCS.QalgebraRV]
qone [in VQCS.Quantity]
qoneR [in VQCS.QalgebraR]
qopp [in VQCS.Qalgebra]
qoppR [in VQCS.QalgebraR]
qoppRV [in VQCS.QalgebraRV]
qop1 [in VQCS.Qalgebra]
qop2 [in VQCS.Qalgebra]
qop2l [in VQCS.Qalgebra]
qop2r [in VQCS.Qalgebra]
qpow [in VQCS.Qalgebra]
qpower [in VQCS.QalgebraR]
qpowR [in VQCS.QalgebraR]
qrootCondbR [in VQCS.QalgebraR]
qrootCondR [in VQCS.QalgebraR]
qrootR [in VQCS.QalgebraR]
qsameu [in VQCS.Quantity]
qsameub [in VQCS.Quantity]
qscalRV [in VQCS.QalgebraRV]
qsin [in VQCS.QalgebraR]
qsqrt [in VQCS.QalgebraR]
qsub [in VQCS.Qalgebra]
qsubl [in VQCS.Qalgebra]
qsublR [in VQCS.QalgebraR]
qsublRV [in VQCS.QalgebraRV]
qsubr [in VQCS.Qalgebra]
qsubR [in VQCS.QalgebraR]
qsubrR [in VQCS.QalgebraR]
qsubrRV [in VQCS.QalgebraRV]
qsubRV [in VQCS.QalgebraRV]
qtan [in VQCS.QalgebraR]
Quantity_sind [in VQCS.Quantity]
Quantity_rec [in VQCS.Quantity]
Quantity_ind [in VQCS.Quantity]
Quantity_rect [in VQCS.Quantity]
qunit [in VQCS.Quantity]
QuR [in VQCS.QalgebraR]
QuRV [in VQCS.QalgebraRV]
qval [in VQCS.Quantity]
qvaln [in VQCS.Quantity]
qvalu [in VQCS.Quantity]
q2q [in VQCS.Quantity]
q2qn [in VQCS.Quantity]
q2qnR [in VQCS.QalgebraR]
q2qnRV [in VQCS.QalgebraRV]
q2qR [in VQCS.QalgebraR]
q2qRV [in VQCS.QalgebraRV]
q2qu [in VQCS.Quantity]
q2quR [in VQCS.QalgebraR]
q2quRV [in VQCS.QalgebraRV]
R
rho [in VQCS.test_PropulsionSystem.Basic]rho_0 [in VQCS.test_PropulsionSystem.Basic]
R_b [in VQCS.test_PropulsionSystem.Basic]
R_e [in VQCS.test_PropulsionSystem.Basic]
R_m [in VQCS.test_PropulsionSystem.Basic]
r2q [in VQCS.QalgebraR]
S
SI_Constants.luminous_efficacy [in VQCS.SI]SI_Constants.avogadro_constant [in VQCS.SI]
SI_Constants.boltzmann_constant [in VQCS.SI]
SI_Constants.elementary_charge [in VQCS.SI]
SI_Constants.planck_constant [in VQCS.SI]
SI_Constants.speed_of_light_in_vaccum [in VQCS.SI]
SI_Constants.hyper_trans_freq_of_Cs [in VQCS.SI]
SI_Accepted.milli_amper_hour [in VQCS.SI]
SI_Accepted.N_m_A_V_rpm [in VQCS.SI]
SI_Accepted.round_per_minute [in VQCS.SI]
SI_Accepted.electronvolt [in VQCS.SI]
SI_Accepted.dalton [in VQCS.SI]
SI_Accepted.tonne [in VQCS.SI]
SI_Accepted.litre [in VQCS.SI]
SI_Accepted.hectare [in VQCS.SI]
SI_Accepted.degree_angle [in VQCS.SI]
SI_Accepted.astronomicalUnit [in VQCS.SI]
SI_Accepted.day [in VQCS.SI]
SI_Accepted.hour [in VQCS.SI]
SI_Accepted.minute [in VQCS.SI]
SI_Accepted.milliampere [in VQCS.SI]
SI_Accepted.gram [in VQCS.SI]
SI_Accepted.millimetre [in VQCS.SI]
SI_Accepted.killometre [in VQCS.SI]
SI_Accepted.millisecond [in VQCS.SI]
SI_Derived.katal [in VQCS.SI]
SI_Derived.sievert [in VQCS.SI]
SI_Derived.gray [in VQCS.SI]
SI_Derived.becquerel [in VQCS.SI]
SI_Derived.lux [in VQCS.SI]
SI_Derived.lumen [in VQCS.SI]
SI_Derived.henry [in VQCS.SI]
SI_Derived.tesla [in VQCS.SI]
SI_Derived.weber [in VQCS.SI]
SI_Derived.siemens [in VQCS.SI]
SI_Derived.ohm [in VQCS.SI]
SI_Derived.farad [in VQCS.SI]
SI_Derived.N_m_A_V_s [in VQCS.SI]
SI_Derived.volt [in VQCS.SI]
SI_Derived.coulomb [in VQCS.SI]
SI_Derived.watt [in VQCS.SI]
SI_Derived.joule [in VQCS.SI]
SI_Derived.pascal [in VQCS.SI]
SI_Derived.newton [in VQCS.SI]
SI_Derived.herza [in VQCS.SI]
SI_Derived.herz [in VQCS.SI]
SI_Derived.steradian [in VQCS.SI]
SI_Derived.radian [in VQCS.SI]
SI_Basic.candela [in VQCS.SI]
SI_Basic.mole [in VQCS.SI]
SI_Basic.kelvin [in VQCS.SI]
SI_Basic.ampere [in VQCS.SI]
SI_Basic.killogram [in VQCS.SI]
SI_Basic.metre [in VQCS.SI]
SI_Basic.second [in VQCS.SI]
SI_Prefix.yocto [in VQCS.SI]
SI_Prefix.zepto [in VQCS.SI]
SI_Prefix.atto [in VQCS.SI]
SI_Prefix.femto [in VQCS.SI]
SI_Prefix.pico [in VQCS.SI]
SI_Prefix.nano [in VQCS.SI]
SI_Prefix.micro [in VQCS.SI]
SI_Prefix.milli [in VQCS.SI]
SI_Prefix.centi [in VQCS.SI]
SI_Prefix.deci [in VQCS.SI]
SI_Prefix.yotta [in VQCS.SI]
SI_Prefix.zetta [in VQCS.SI]
SI_Prefix.exa [in VQCS.SI]
SI_Prefix.peta [in VQCS.SI]
SI_Prefix.tera [in VQCS.SI]
SI_Prefix.giga [in VQCS.SI]
SI_Prefix.mega [in VQCS.SI]
SI_Prefix.kilo [in VQCS.SI]
SI_Prefix.hecto [in VQCS.SI]
SI_Prefix.deca [in VQCS.SI]
T
Temperature_TemperatureDifference.temperatureDiffFah [in VQCS.SI]Temperature_TemperatureDifference.temperatureDiffCel [in VQCS.SI]
Temperature_TemperatureDifference.temperatureDiffKel [in VQCS.SI]
Temperature_TemperatureDifference.temperatureFah [in VQCS.SI]
Temperature_TemperatureDifference.temperatureCel [in VQCS.SI]
Temperature_TemperatureDifference.deltaFah [in VQCS.SI]
Temperature_TemperatureDifference.deltaCel [in VQCS.SI]
Temperature_TemperatureDifference.deltaKel [in VQCS.SI]
Temperature_TemperatureDifference.fah2kelR [in VQCS.SI]
Temperature_TemperatureDifference.kel2fahR [in VQCS.SI]
Temperature_TemperatureDifference.fah2celR [in VQCS.SI]
Temperature_TemperatureDifference.cel2fahR [in VQCS.SI]
Temperature_TemperatureDifference.kel2celR [in VQCS.SI]
Temperature_TemperatureDifference.cel2kelR [in VQCS.SI]
T_b_ex.val_T_b_2 [in VQCS.test_PropulsionSystem.Basic]
T_b_ex.val_T_b_1 [in VQCS.test_PropulsionSystem.Basic]
T_t [in VQCS.test_PropulsionSystem.Basic]
T_0 [in VQCS.test_PropulsionSystem.Basic]
U
ucoef [in VQCS.Unit]ucons [in VQCS.Unit]
uconv [in VQCS.Uconv]
uconvRate [in VQCS.Uconv]
ucvtble [in VQCS.Uconv]
ucvtbleb [in VQCS.Uconv]
udim [in VQCS.Unit]
udims [in VQCS.Nunit]
udim1b [in VQCS.Nunit]
ueq [in VQCS.Nunit]
ueqb [in VQCS.Nunit]
ugenByBU [in VQCS.Unit]
ugenByBUNat [in VQCS.Unit]
Unit_sind [in VQCS.Unit]
Unit_rec [in VQCS.Unit]
Unit_ind [in VQCS.Unit]
Unit_rect [in VQCS.Unit]
unit_approxb [in VQCS.Nunit]
unit_approx [in VQCS.Nunit]
unit1 [in VQCS.Nunit]
unit2 [in VQCS.Nunit]
Unnamed_thm3 [in VQCS.QalgebraRV]
Unnamed_thm2 [in VQCS.QalgebraRV]
Unnamed_thm1 [in VQCS.QalgebraRV]
Unnamed_thm0 [in VQCS.QalgebraRV]
Unnamed_thm [in VQCS.QalgebraRV]
Unnamed_thm0 [in VQCS.Unit]
Unnamed_thm [in VQCS.Unit]
Unnamed_thm [in VQCS.Unit]
Unnamed_thm16 [in VQCS.QalgebraR]
Unnamed_thm15 [in VQCS.QalgebraR]
Unnamed_thm14 [in VQCS.QalgebraR]
Unnamed_thm13 [in VQCS.QalgebraR]
Unnamed_thm12 [in VQCS.QalgebraR]
Unnamed_thm11 [in VQCS.QalgebraR]
Unnamed_thm10 [in VQCS.QalgebraR]
Unnamed_thm9 [in VQCS.QalgebraR]
Unnamed_thm8 [in VQCS.QalgebraR]
Unnamed_thm7 [in VQCS.QalgebraR]
Unnamed_thm6 [in VQCS.QalgebraR]
Unnamed_thm5 [in VQCS.QalgebraR]
Unnamed_thm4 [in VQCS.QalgebraR]
Unnamed_thm3 [in VQCS.QalgebraR]
Unnamed_thm2 [in VQCS.QalgebraR]
Unnamed_thm1 [in VQCS.QalgebraR]
Unnamed_thm0 [in VQCS.QalgebraR]
Unnamed_thm [in VQCS.QalgebraR]
Unnamed_thm1 [in VQCS.test_PropulsionSystem.Basic]
Unnamed_thm0 [in VQCS.test_PropulsionSystem.Basic]
Unnamed_thm [in VQCS.test_PropulsionSystem.Basic]
Unnamed_thm0 [in VQCS.Nconv]
Unnamed_thm [in VQCS.Nconv]
Unnamed_thm1 [in VQCS.Nunit]
Unnamed_thm0 [in VQCS.Nunit]
Unnamed_thm [in VQCS.Nunit]
Unnamed_thm1 [in VQCS.Quantity]
Unnamed_thm0 [in VQCS.Quantity]
Unnamed_thm [in VQCS.Quantity]
Unnamed_thm0 [in VQCS.Uconv]
Unnamed_thm [in VQCS.Uconv]
Unnamed_thm3 [in VQCS.SI]
Unnamed_thm2 [in VQCS.SI]
Unnamed_thm1 [in VQCS.SI]
Unnamed_thm0 [in VQCS.SI]
Unnamed_thm [in VQCS.SI]
unorm [in VQCS.Nunit]
unormed [in VQCS.Nunit]
upow [in VQCS.Unit]
upowNat [in VQCS.Unit]
U_b [in VQCS.test_PropulsionSystem.Basic]
U_m0 [in VQCS.test_PropulsionSystem.Basic]
u2n [in VQCS.Nunit]
u2q [in VQCS.Quantity]
u2qR [in VQCS.QalgebraR]
u2qRV [in VQCS.QalgebraRV]
V
value_0_0065 [in VQCS.test_PropulsionSystem.Basic]val_PP_alpha_ab [in VQCS.test_PropulsionSystem.Basic]
vec2q [in VQCS.QalgebraRV]
| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (1053 entries) |
| Notation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (157 entries) |
| Module Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (10 entries) |
| Variable Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (95 entries) |
| Library Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (11 entries) |
| Lemma Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (260 entries) |
| Constructor Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (13 entries) |
| Axiom Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (79 entries) |
| Inductive Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (3 entries) |
| Instance Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (6 entries) |
| Section Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (34 entries) |
| Abbreviation Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (9 entries) |
| Definition Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ | other | (376 entries) |