I | Algebra.TypeChar.Char |
Id | Algebra.Ideal |
Ideal | Algebra.Ideal |
identity | Algebra.Matrix |
IntegralDomain | Algebra.Structures.IntegralDomain, Algebra.Structures.Field |
intersectionB | Algebra.Structures.BezoutDomain |
intersectionBWitness | Algebra.Structures.BezoutDomain |
inv | Algebra.Structures.Field |
isPrincipal | Algebra.Ideal |
isSameIdeal | Algebra.Ideal |
isSquareMatrix | Algebra.Matrix |
I_ | Algebra.TypeChar.Char |