HomeIsabelle/Phabricator

refactored Standard_Redundancy_Criterion to not use ordering type classes

Description

refactored Standard_Redundancy_Criterion to not use ordering type classes

Details

Provenance
desharnaAuthored on
Parents
rAFP1ffda7071d4a: isabelle update_cartouches;
Branches
Unknown
Tags
Unknown