Differences between revisions 15 and 147 (spanning 132 versions)
Revision 15 as of 2014-01-09 15:49:12
Size: 5697
Editor: Valentina
Comment:
Revision 147 as of 2024-01-26 13:24:19
Size: 10578
Editor: Valentina
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
== LIST OF NATIONAL GENETIC EVALUATION FORM AS PROVIDED BY COUNTRIES ==
Click on the breed code to download the respective GE form.
#acl +Valentina:delete +All:read Default
== NATIONAL GENETIC EVALUATION FORMS PROVIDED BY COUNTRIES ==
National GE Forms are updated after each routine run for the countries providing new forms.
Line 4: Line 5:
Production and Calving forms are based on the new electronic form from the PREP Database, click on the respective links to chose the country/organisation you are interested in.
Line 5: Line 7:
=== Argentina ===
 * Production ([[attachment:ARGpro.rtf|HOL]])
 
The remaining traits' forms are still based on the old GE form and grouped per country, click on the breed to open the respective form.

'''PRODUCTION ''' [[https://prep.interbull.org/display?formname=GE+Dairy+Production&fullpage=yes|All countries]]

'''CALVING ''' [[https://prep.interbull.org/display?formname=GE+Dairy+Calving&fullpage=yes|All countries]]

'''CONFORMATION''' [[https://prep.interbull.org/display?formname=GE+Dairy+Conformation&fullpage=yes|All countries]]

'''FEMALE FERTILITY''' [[https://prep.interbull.org/display?formname=GE+Dairy+Female+Fertility&fullpage=yes|All countries]]

----
Line 9: Line 19:
 * Production ([[attachment:AUSpro.rtf|ALL BREEDS]])
 * Conformation ([[attachment:AUSco.doc|ALL BREEDS]])
 * Udder Health ([[attachment:AUSuh.rtf|ALL BREEDS]])
 * Longevity ([[attachment:AUSlo.rtf|ALL BREEDS]])
 * Calving ([[attachment:AUSca.rtf|ALL BREEDS]])
 * Female Fertility ([[attachment:AUSff.doc|ALL BREEDS]])
 * Workability ([[attachment:AUSwo.doc|ALL BREEDS]])
 * Conformation ([[attachment:AUSco.rtf|OTHER BREEDS|&do=get]], [[attachment:AUSJERco.rtf|JER|&do=get]])
 * Udder Health ([[attachment:AUSscs_other_breeds.rtf|SCS-OTHER BREEDS|&do=get]], [[attachment:AUSscs_RDC.rtf|SCS-RDC|&do=get]],[[attachment:AUSmas.rtf|MAS-ALL BREEDS|&do=get]])
 * Longevity ([[attachment:AUSlo.rtf|ALL BREEDS|&do=get]])
 * Female Fertility ([[attachment:AUSff.rtf|ALL BREEDS|&do=get]])
 * Workability ([[attachment:AUSwo.rtf|ALL BREEDS|&do=get]])
Line 19: Line 26:
 * Production ([[attachment:BELpro.rtf|HOL]])
 * Conformation ([[attachment:BELco.rtf|HOL]])
 * Udder Health ([[attachment:BELuh.rtf|HOL]])
 * Longevity ([[attachment:BELlo.rtf|HOL]])
 * Calving ([[attachment:BELca.pdf|HOL]])
 * Female Fertility ([[attachment:BELff.rtf|HOL]])
 * Conformation ([[attachment:BELco.rtf|HOL|&do=get]])
 * Udder Health ([[attachment:BELuh.rtf|HOL|&do=get]])
 * Longevity ([[attachment:BELlo.rtf|HOL|&do=get]])
 * Female Fertility ([[attachment:BELff.rtf|HOL|&do=get]])
Line 27: Line 32:
 * Production ([[attachment:CANpro.doc|ALL BREEDS]])
 * Conformation ([[attachment:CANco.doc|ALL BREEDS
]])
 * Udder Health ([[attachment:CANuh.doc|ALL BREEDS]])
 * Longevity ([[attachment:CANlo.doc|ALL BREEDS]])
 * Calving
([[attachment:CANca.doc|ALL BREEDS]])
 * Female Fertility ([[attachment:CANff.doc|ALL BREEDS
]])
 * Workability ([[attachment:CANwo.doc|ALL BREEDS]])
 * Conformation ([[attachment:CANco.docx|ALL BREEDS|&do=get]])
 * Udder Health ([[attachment:CANuh.doc|ALL BREEDS|&do=get]])
 * Longevity ([[attachment:CANlo.doc|ALL BREEDS|&do=get]])
 * Female Fertility
([[attachment:CANff.doc|ALL BREEDS|&do=get]])
 * Workability ([[attachment:CANwo.pdf|ALL BREEDS|&do=get]])

=== Croatia ===
 * Udder Health ([[attachment:HRVHOLuh.rtf|HOL|&do=get]], [[attachment:HRVSIMuh.rtf|SIM|&do=get]])
Line 36: Line 42:
 * Production
 * Conformation
 * Udder Health
 * Longevity
 * Female Fertility
 * Conformation ([[attachment:CZEHOLco.rtf|HOL|&do=get]])
 * Udder Health ([[attachment:CZEHOLuh.rtf|HOL|&do=get]])
 * Longevity ([[attachment:CZEHOLlo.rtf|HOL|&do=get]], [[attachment:CZESIMlo.rtf|SIM|&do=get]])
 * Female Fertility ([[attachment:CZEHOLff.rtf|HOL|&do=get]])
Line 43: Line 48:
 * Production ([[attachment:DFSpr.rtf|ALL BREEDS]])
 * Conformation
 * Udder Health
 * Longevity
 * Calving
 * Female Fertility
 * Workability
 * Conformation ([[attachment:DFSHOLco.rtf|HOL|&do=get]], [[attachment:DFSJERco.doc|JER|&do=get]], [[attachment:DFSRDCco.rtf|RDC|&do=get]])
 * Udder Health ([[attachment:DFSHOLuh.rtf|HOL|&do=get]], [[attachment:DFSJERuh.rtf|JER|&do=get]], [[attachment:DFSRDCuh.rtf|RDC|&do=get]])
 * Longevity ([[attachment:DFSHOLlo.rtf|HOL|&do=get]], [[attachment:DFSJERlo.rtf|JER|&do=get]], [[attachment:DFSRDClo.rtf|RDC|&do=get]])
 * Female Fertility ([[attachment:DFSHOLff.rtf|HOL|&do=get]], [[attachment:DFSJERff.rtf|JER|&do=get]], [[attachment:DFSRDCff.rtf|RDC|&do=get]])
 * Workability ([[attachment:DFSHOLwo.rtf|HOL|&do=get]], [[attachment:DFSJERwo.rtf|JER|&do=get]], [[attachment:DFSRDCwo.rtf|RDC|&do=get]])
Line 52: Line 55:
 * Production
 * Conformation
 * Udder Health
 * Conformation ([[attachment:ESTHOLco.rtf|HOL|&do=get]])
 * Udder Health ([[attachment:ESTHOLRDCuh.rtf|HOL&RDC|&do=get]])
Line 57: Line 59:
 * Production ([[attachment:FRApr.doc|ALL BREEDS]])
 * Conformation
 * Udder Health ([[attachment:FRAuh.doc|ALL BREEDS]])
 * Longevity
 * Calving
 * Female Fertility
 * Workability
 * Conformation ([[attachment:FRAHOLco.doc|HOL|&do=get]], [[attachment:FRABSWco.docx|BSW|&do=get]])
 * Udder Health ([[attachment:FRAuh.rtf|ALL BREEDS|&do=get]])
 * Longevity ([[attachment:FRAlo.docx|ALL BREEDS|&do=get]])
 * Female Fertility ([[attachment:FRAff.rtf|ALL BREEDS|&do=get]])
 * Workability ([[attachment:FRAwo.docx|ALL|&do=get]])
Line 65: Line 65:
=== Germany & Austria (DEA) ===
 * Production ([[attachment:DEAHOLpr.rtf|HOL]], [[attachment:DEABSWpr.rtf|BSW]], [[attachment:DEASIMpr.rtf|SIM]])
 * Conformation ([[attachment:DEAHOLco.rtf|HOL]])
 * Udder Health ( [[attachment:DEAHOLuh.rtf|HOL]])
 * Longevity ([[attachment:DEAHOLlo.rtf|HOL]])
 * Fertility ([[attachment:DEAHOLff.rtf|HOL]])
 * Workability ([[attachment:DEAHOLwo.rtf|HOL]])

=== Germany ===
 * Production
 * Conformation
 * Udder Health
 * Longevity
 * Calving
 * Female Fertility
 * Workability
=== Germany & Austria & Luxembourg ===
 * Conformation ([[attachment:DEUHOLRDCco.rtf|HOL&RDC|&do=get]], [[attachment:DEABSWco.rtf|BSW|&do=get]])
 * Udder Health ([[attachment:DEUHOLJERRDCuh.rtf|HOL&JER&RDC|&do=get]], [[attachment:DEAuh.rtf|BSW&SIM|&do=get]])
 * Longevity ([[attachment:DEUHOLJERRDClo.rtf|HOL&JER&RDC|&do=get]], [[attachment:DEABSWlo.rtf|BSW|&do=get]])
 * Fertility ([[attachment:DEUHOLJERRDCff.rtf|HOL&JER&RDC|&do=get]], [[attachment:DEABSWff.rtf|BSW|&do=get]])
 * Workability ([[attachment:DEUHOLRDCwo.rtf|HOL&RDC|&do=get]],[[attachment:DEAwo.rtf|BSW|&do=get]])
Line 83: Line 73:
 * Production ([[attachment:GBRHOLpr.rtf|HOL]])
 * Conformation
 * Udder health ([[attachment:GBRHOLuh.rtf|HOL]])
 * Longevity ([[attachment:GBRHOLlo.rtf|HOL]])
 * Calving
 * Female Fertility
 * Workability
 * Conformation ([[attachment:GBRHOLco.doc|HOL|&do=get]], [[attachment:GBRJERco.rtf|JER|&do=get]], [[attachment:GBRGUEco.rtf|GUE|&do=get]], [[attachment:GBRRDCco.pdf|RDC|&do=get]], [[attachment:GBRBSWco.rtf|BSW|&do=get]])
 * Udder health ([[attachment:GBRuh.rtf|ALL BREEDS|&do=get]])
 * Longevity ([[attachment:GBRlo.rtf|ALL BREEDS|&do=get]])
 * Female Fertility ([[attachment:GBRff.rtf|ALL BREEDS|&do=get]])
 * Workability ([[attachment:GBRHOLwo.doc|HOL|&do=get]])
Line 92: Line 80:
 * Production
 * Conformation
 * Udder Health
 * Longevity
 * Conformation ([[attachment:HUNco.rtf|HOL|&do=get]])
 * Udder Health ([[attachment:HUNHOLuh.rtf|HOL|&do=get]], [[attachment:HUNSIMuh.rtf|SIM|&do=get]])
 * Longevity ([[attachment:HUNlo.rtf|HOL|&do=get]])
Line 98: Line 85:
 * Production ([[attachment:IRLHOLpr.rtf|HOL]])
 * Conformation
 * Udder Health
 * Longevity
 * Calving
 * Female Fertility
 * Conformation ([[attachment:IRLco.rtf|HOL|&do=get]])
 * Udder Health ([[attachment:IRLuh.rtf|HOL|&do=get]])
 * Longevity ([[attachment:IRLlo.rtf|ALL BREEDS|&do=get]])
 * Female Fertility ([[attachment:IRLfe.rtf|ALL BREEDS|&do=get]])
Line 105: Line 90:
=== Isreal ===
 * Production
 * Conformation
 * Udder Health
 * Longevity
 * Female Fertility
=== Israel ===
 * Udder Health ([[attachment:ISRuh.docx|HOL|&do=get]])
 * Longevity ([[attachment:ISRlo.docx|HOL|&do=get]])
 * Female Fertility ([[attachment:ISRff.doc|HOL|&do=get]])
Line 113: Line 96:
 * Production ([[attachment:ITAHOLpr.rtf|HOL]], [[attachment:ITABSWpr.rtf|BSWintergenomics]], [[attachment:ITASIMpr.rtf|SIM]])
 * Conformation ([[attachment:ITAHOLco.rtf|HOL]])
 * Udder Health ([[attachment:ITAHOLuh.rtf|HOL]])
 * Longevity
 * Calving
 * Female Fertility
 * Workability
 * Conformation ([[attachment:ITAHOLco.rtf|HOL|&do=get]], [[attachment:ITAJERco.rtf|JER|&do=get]], [[attachment:ITABSWco.rtf|BSW|&do=get]])
 * Udder Health ([[attachment:ITAHOLuh.rtf|HOL|&do=get]], [[attachment:ITABSWuh.rtf|BSW|&do=get]], [[attachment:ITASIMuh.rtf|SIM|&do=get]])
 * Longevity ([[attachment:ITAHOLlo.rtf|HOL|&do=get]], [[attachment:ITABSWlo.rtf|BSW|&do=get]])
 * Female Fertility ([[attachment:ITAHOLff.rtf|HOL|&do=get]], [[attachment:ITABSWff.rtf|BSW|&do=get]])
 * Workability ([[attachment:ITAHOLwo.rtf|HOL|&do=get]],[[attachment:ITABSWwo.rtf|BSW|&do=get]])
Line 122: Line 103:
 * Production ([[attachment:JPNpro.rtf|HOL]])
 * Conformation ([[attachment:JPNco.rtf|HOL]])
 * Udder Health ([[attachment:JPNuh.rtf|HOL]])
 * Longevity
 * Calving
 * Female Fertility
 * Workability
 * Conformation ([[attachment:JPNco.rtf|HOL|&do=get]])
 * Udder Health ([[attachment:JPNuh.rtf|HOL|&do=get]])
 * Longevity ([[attachment:JPNlo.rtf|HOL|&do=get]])
 * Female Fertility ([[attachment:JPNff.rtf|HOL|&do=get]])
 * Workability ([[attachment:JPNwo.rtf|HOL|&do=get]])
Line 131: Line 110:
 * Production  * Conformation ([[attachment:LVAco.rtf|HOL&RDC|&do=get]])
 * Udder Health ([[attachment:LVAuh.doc|HOL&RDC|&do=get]])
Line 134: Line 114:
 * Production  * Conformation (HOL&RDC)
 * Udder Health ([[attachment:LTUuh.rtf|HOL&RDC|&do=get]])
Line 136: Line 117:
=== Netherlands ===
 * Production
 * Conformation
 * Udder Health
 * Longevity
 * Calving
 * Female Fertility
 * Workability
=== Netherlands (Including Belgium Flemish region) ===
 * Conformation ([[attachment:NLDco.doc|ALL BREEDS|&do=get]])
 * Udder Health ([[attachment:NLDuh.doc|ALL BREEDS|&do=get]])
 * Longevity ([[attachment:NLDlo.doc|ALL BREEDS|&do=get]])
 * Female Fertility ([[attachment:NLDff.doc|ALL BREEDS|&do=get]])
 * Workability ([[attachment:NLDwo.doc|ALL BREEDS|&do=get]])
Line 146: Line 125:
 * Production ([[attachment:NZLHOLpr.pdf|HOL&JER]])
 * Conformation
 * Udder Health
 * Longevity
 * Calving
 * Female Fertility
 * Workability
 * Conformation ([[attachment:NZLco.pdf|ALL BREEDS|&do=get]])
 * Udder Health ([[attachment:NZLuh.pdf|ALL BREEDS|&do=get]])
 * Longevity ([[attachment:NZLlo.pdf|ALL BREEDS|&do=get]])
 * Female Fertility ([[attachment:NZLff.pdf|ALL BREEDS|&do=get]])
 * Workability ([[attachment:NZLwo.pdf|HOL&JER&RDC|&do=get]])
Line 155: Line 132:
 * Production
 * Conformation
 * Udder Health
 * Calving
 * Female Fertility
 * Workability
 * Conformation ([[attachment:NORco.rtf|RDC|&do=get]])
 * Udder Health ([[attachment:NORuh.rtf|RDC|&do=get]])
 * Longevity ([[attachment:NORlo.rtf|RDC|&do=get]])
 * Female Fertility ([[attachment:NORff.rtf|RDC|&do=get]])
 * Workability ([[attachment:NORwo.rtf|RDC|&do=get]])
Line 163: Line 139:
 * Production ([[attachment:POLHOLpr.pdf|HOL]])
 * Conformation
 * Udder Health
 * Conformation ([[attachment:POLco.rtf|HOL|&do=get]])
 * Udder Health ([[attachment:POLuh.rtf|HOL|&do=get]])
 * Longevity ([[attachment:POLlo.rtf|HOL|&do=get]])
 * Female Fertility ([[attachment:POLff.rtf|HOL|&do=get]])
 * Workability ([[attachment:POLwo.rtf|HOL|&do=get]])
Line 168: Line 146:
 * Production
 * Conformation
 * Udder Health
 * Conformation ([[attachment:PRTco.rtf|HOL|&do=get]])
 * Udder Health ([[attachment:PRTuh.rtf|HOL|&do=get]])
Line 173: Line 150:
 * Production  * Conformation ([[attachment:KORco.rtf|HOL|&do=get]])
 * Udder Health ([[attachment:KORuh.rtf|HOL|&do=get]])
Line 176: Line 154:
 * Production
 * Conformation
 * Udder Health
 * Longevity
 * Calving
 * Female Fertility
 * Workability
 * Conformation ([[attachment:ZAFHOLco.rtf|HOL|&do=get]],[[attachment:ZAFJERco.rtf|JER|&do=get]])
 * Udder Health ([[attachment:ZAFHOLuh.rtf|HOL|&do=get]], [[attachment:ZAFJERuh.rtf|JER|&do=get]], [[attachment:ZAFRDCuh.rtf|RDC|&do=get]])
 * Longevity ([[attachment:ZAFHOLlo.rtf|HOL|&do=get]], [[attachment:ZAFJERlo.rtf|JER|&do=get]], [[attachment:ZAFRDClo.rtf|RDC|&do=get]])
 * Female Fertility ([[attachment:ZAFHOLff.rtf|HOL|&do=get]], [[attachment:ZAFJERff.rtf|JER|&do=get]], [[attachment:ZAFRDCff.rtf|RDC|&do=get]])
Line 185: Line 160:
 * Production ([[attachment:SVNHOLpr.rtf|BSWintergenomics]])
 * Conformation
 * Conformation ([[attachment:SVNHOLco.pdf|HOL|&do=get]], [[attachment:SVNBSWco.rtf|BSW|&do=get]])
 * Udder Health ([[attachment:SVNuh.rtf|ALL BREEDS|&do=get]])
 * Longevity ([[attachment:SVNlo.rtf|ALL BREEDS|&do=get]])
 * Female Fertility ([[attachment:SVNff.pdf|ALL BREEDS|&do=get]])
 * Workability ([[attachment:SVNwo.rtf|ALL BREEDS|&do=get]])
Line 188: Line 166:
=== Slovack ===
 * Production
 * Udder Health
=== Slovak Republic ===
 * Udder Health ([[attachment:SVKHOLuh.rtf|HOL|&do=get]], [[attachment:SVKSIMuh.rtf|SIM|&do=get]])
Line 193: Line 170:
 * Production ([[attachment:ESPHOLpr.rtf|HOL]])
 * Conformation ([[attachment:ESPHOLco.pdf|HOL]])
 * Udder Health
 * Longevity
 * Calving
 * Female Fertility
 * Workability
 * Conformation ([[attachment:ESPco.doc|HOL|&do=get]])
 * Udder Health ([[attachment:ESPuh.rtf|HOL|&do=get]])
 * Longevity ([[attachment:ESPlo.doc|HOL|&do=get]])
 * Female Fertility ([[attachment:ESPff.doc|HOL|&do=get]])
Line 202: Line 176:
 * Production ([[attachment:CHEHOLpr.docx|HOL]], [[attachment:CHRHOLpr.docx|RHOL]], [[attachment:CHEBSWpr.rtf|BSW]])
 * Conformation ([[attachment:CHEHOLco.docx|HOL]], [[attachment:CHRHOLco.docx|RHOL]])
 * Udder Health ([[attachment:CHEHOLuh.docx|HOL]], [[attachment:CHRHOLuh.docx|RHOL]])
 * Longevity ([[attachment:CHEHOLlo.docx|HOL]], [[attachment:CHRHOLlo.docx|RHOL]])
 * Calving ([[attachment:CHEHOLca.docx|HOL]])
 * Fertility ([[attachment:CHEHOLff.docx|HOL]], [[attachment:CHRHOLff.docx|RHOL]])
 * Conformation ([[attachment:CHEHOLSIMco.rtf|HOL|&do=get]], [[attachment:CHEBSWco.rtf|BSW|&do=get]], [[attachment:CHEJERco.rtf|JER|&do=get]])
 * Udder Health ([[attachment:CHEHOLSIMuh.rtf|HOL&SIM|&do=get]], [[attachment:CHEBSWuh.rtf|BSW|&do=get]], [[attachment:CHEJERuh.rtf|JER|&do=get]])
 * Longevity ([[attachment:CHEHOLlo.rtf|HOL|&do=get]], [[attachment:CHEBSWlo.rtf|BSW|&do=get]])
 * Fertility ([[attachment:CHEHOLff.rtf|HOL|&do=get]], [[attachment:CHEBSWff.rtf|BSW|&do=get]])
 * Workability ([[attachment:CHEHOLwo.rtf|HOL|&do=get]], [[attachment:CHEBSWwo.rtf|BSW|&do=get]],[[attachment:CHEJERwo.rtf|JER|&do=get]] )
Line 210: Line 183:
 * Production ([[attachment:USAHOLpr.pdf|BSW,HOL,JER]], [[attachment:USABSWpr.rtf|BSWintergenomics]])
 * Conformation ([[attachment:USAHOLco.pdf|BSW,HOL,JER]])
 * Udder Health ([[attachment:USAHOLuh.pdf|BSW,HOL,JER]])
 * Longevity ([[attachment:USAHOLlo.pdf|BSW,HOL,JER]])
 * Calving ([[attachment:USAHOLca.pdf|BSW,HOL]])
 * Fertility ([[attachment:USAHOLff.pdf|BSW,HOL,JER]])
 * Workability
 * Conformation ([[attachment:USAHOLco.rtf|HOL|&do=get]],[[attachment:USAco.pdf|OTHER BREEDS|&do=get]])
 * Udder Health ([[attachment:USAuh.pdf|ALL BREEDS|&do=get]])
 * Longevity ([[attachment:USAlo.pdf|ALL BREEDS|&do=get]])
 * Fertility ([[attachment:USAff.pdf|ALL BREEDS|&do=get]])
Line 219: Line 189:
 * Production  * Fertility ([[attachment:URYff.rtf|HOL|&do=get]])

NATIONAL GENETIC EVALUATION FORMS PROVIDED BY COUNTRIES

National GE Forms are updated after each routine run for the countries providing new forms.

Production and Calving forms are based on the new electronic form from the PREP Database, click on the respective links to chose the country/organisation you are interested in.

The remaining traits' forms are still based on the old GE form and grouped per country, click on the breed to open the respective form.

PRODUCTION All countries

CALVING All countries

CONFORMATION All countries

FEMALE FERTILITY All countries


Australia

Belgium

  • Conformation (HOL)

  • Udder Health (HOL)

  • Longevity (HOL)

  • Female Fertility (HOL)

Canada

Croatia

Czech Republic

  • Conformation (HOL)

  • Udder Health (HOL)

  • Longevity (HOL, SIM)

  • Female Fertility (HOL)

Denmark & Sweden & Finland

Estonia

France

Germany & Austria & Luxembourg

Great Britain

Hungary

Ireland

Israel

  • Udder Health (HOL)

  • Longevity (HOL)

  • Female Fertility (HOL)

Italy

Japan

  • Conformation (HOL)

  • Udder Health (HOL)

  • Longevity (HOL)

  • Female Fertility (HOL)

  • Workability (HOL)

Latvia

Lithuania

  • Conformation (HOL&RDC)

  • Udder Health (HOL&RDC)

Netherlands (Including Belgium Flemish region)

New Zealand

Norway

  • Conformation (RDC)

  • Udder Health (RDC)

  • Longevity (RDC)

  • Female Fertility (RDC)

  • Workability (RDC)

Poland

  • Conformation (HOL)

  • Udder Health (HOL)

  • Longevity (HOL)

  • Female Fertility (HOL)

  • Workability (HOL)

Portugal

  • Conformation (HOL)

  • Udder Health (HOL)

Rep. of Korea

  • Conformation (HOL)

  • Udder Health (HOL)

Rep. of South Africa

Slovenia

Slovak Republic

Spain

  • Conformation (HOL)

  • Udder Health (HOL)

  • Longevity (HOL)

  • Female Fertility (HOL)

Switzerland

United States

Uruguay

  • Fertility (HOL)

public/Nat_GE_Forms (last edited 2024-10-28 10:50:46 by Valentina)