Subextension?
Returns true if one extension is a subextension of the other.
Syntax
subextension?(Extension, Extension)
Description
Given two extensions and , returns true if is an extension of , and false otherwise.
 |
Returns true if one extension is a subextension of the other.
subextension?(Extension, Extension)
Given two extensions and , returns true if is an extension of , and false otherwise.
|