an extensive example for lift_bnf across quotients
Description
Description
Details
Details
- Provenance
traytel Authored on - Parents
- rISABELLEa30278c8585f: extension of lift_bnf to support quotient types
- Branches
- Unknown
- Tags
an extensive example for lift_bnf across quotients Tags None Subscribers None
Description
Details
|