Code

use topology.fct_comRingType for RVs#67

Code

Draft

t6s wants to merge 3 commits intomasteraffeldt-aist/infotheo:masterfrom RV_ringaffeldt-aist/infotheo:RV_ringCopy head branch name to clipboard

+150-98

Commits

Commits on Nov 2, 2021

• use topology.fct_comRingType for RVs

  t6s

  committed
  80b6dcd

  Copy full SHA for 80b6dcd

• shorten some lemmas

  t6s

  committed
  f784f12

  Copy full SHA for f784f12

• E_inv_RV -> E_opp_RV

  t6s

  committed
  57c7f19

  Copy full SHA for 57c7f19