Coq qzeL ::= :=