[126-001] is redundant and can be removed - Githubissues

fabianneuhaus / BFO

Apache License 2.0

1 stars 0 forks source link

[126-001] is redundant and can be removed #29

Open fabianneuhaus opened 10 years ago

fabianneuhaus commented 10 years ago

this again is a trivial consequence of the signature of has_continuant_part