Etymology
Today it means: Acting as a finite flat Galois morphism with Galois group (Z/2)²-. Full definition →
From bi- + double.
Etymology from Wiktionary, CC BY-SA 4.0.