Home | History | Annotate | Download | only in big

Lines Matching refs:implies

392 	// m > 0 implies z.prec > 0 (checked by validate)