Documentation

LeanPool.Rupert.Equivalences.AffineRupertEquivRupertSet

LeanPool.Rupert.Equivalences.AffineRupertEquivRupertSet #

Imported Lean Pool material for LeanPool.Rupert.Equivalences.AffineRupertEquivRupertSet.