isSmoothIf

P144609 predicate

Indicates that one entity or condition is smooth provided that another specified condition or requirement holds.

Sample triples (1)

Subject Object
Fermat surface characteristic of base field does not divide n