schrodinger-laws
schrodinger-laws
schrodinger.laws
MonusLaws
MonusLaws
MonusTests
MonusTests
schrodinger-laws
/
schrodinger.laws
/
MonusLaws
MonusLaws
trait
MonusLaws
[
A
](
using
val
A:
Monus
[
A
])
Companion:
object
Graph
Supertypes
class
Object
trait
Matchable
class
Any
Value members
Givens
Value members
Concrete methods
def
monusAxiom1
(
x:
A
,
y:
A
):
IsEq
[
A
]
def
monusAxiom2
(
x:
A
,
y:
A
,
z:
A
):
IsEq
[
A
]
def
monusAxiom3
(
x:
A
):
IsEq
[
A
]
def
monusAxiom4
(
x:
A
):
IsEq
[
A
]
def
monusNaturalOrderConsistency
(
x:
A
,
y:
A
):
Boolean
Givens
Givens
given
A
:
Monus
[
A
]