(subclass BesselsEquation OrdinaryDifferentialEquation) | engineering.kif 194-194 | BesselsEquation は OrdinaryDifferentialEquation の subclass では %n |
(subclass BesselsEquation NonlinearEquation) | engineering.kif 195-195 | BesselsEquation は NonlinearEquation の subclass では %n |