P
Initializing...
Bibundle triviality is unit type plus trivial kernel reduction · Prove2Me