public final String toString() {
// Michael Borcherds 2008-03-30
// simplified to allow better Chinese translation
return app.getPlain("FunctionAonIntervalBC", f.getLabel(), ageo.getLabel(), bgeo.getLabel());
}
public final String toString() {
// Michael Borcherds 2008-03-30
// simplified to allow better Chinese translation
return app.getPlain("FunctionAonIntervalBC", f.getLabel(), ageo.getLabel(), bgeo.getLabel());
}
