Assertion list for term "given after rigorous definition of determinants".
Results from Ascent++: 1
proof → ReceivesAction → given after rigorous definition of determinants 0.25