Subextension?

Returns true if one extension is a subextension of the other.

Syntax

subextension?(Extension, Extension)

Given two extensions $A$ and $B$ , returns true if $B$ is an extension of $A$ , and false otherwise.

Was this helpful?

Making people’s STEM work more meaningful